Definition:Relative Semantic Equivalence

Definition
Let $\FF$ be a theory in the language of predicate logic.

Also see

 * Definition:Semantic Equivalence (Predicate Logic)