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