Equisatisfiable Formula (First-order Logic)

Definition