{} is Equivalence_Relation of {} by RELSET_1:12;