This binary relation is not an equivalence relation, because it is not symmetric: since , but is false. In fact the injective encoding gives a total order. There are no equivalence classes for this binary relation.
Articles by others on the same topic
There are currently no matching articles.