Definition:Relative Semantic Equivalence of Terms