Set Equivalence Relation

From GM-RKB
Jump to navigation Jump to search

A Set Equivalence Relation is an Equivalence Relation between two sets (that is True iff X1=X2).