:: deftheorem Def16 defines -respecting FOMODEL3:def 16 :
for S being Language
for U being non empty set
for E being Equivalence_Relation of U
for I being b₁,b₂ -interpreter-like Function holds
( I is E -respecting iff for s being own Element of S holds I . s is E -respecting );