implemented equivalence relations creations