Relation pm#equivalence_binary_relation ()
  type:  pm#equivalence_relation_type  binary_relation that is reflexive, symmetric and transitive