Functional Equivalence Relation

Connects at least two Instantiations which may be considered as equivalent.

Functional Equivalence Relation

Connects at least two Instantiations which may be considered as equivalent.