An equivalence relation is a binary relation that fulfills reflexivity, symmetry and transitivity.

polivijuye

polivijuye

Answered question

2022-06-22

An equivalence relation is a binary relation that fulfills reflexivity, symmetry and transitivity.
A partially ordered set is a set equipped with a binary relation that fulfills reflexivity, antisymmetry and transitivity.
For a partially ordered set, some elements of the set might be incomparable, i.e. x y or y x may both not hold. That's why we use the term"partially". An example would be as a binary relation and the set M:={{1},{2},{1,2}}. Obviously, {1} and {2} are incomparable.
Question: Can also elements of a set, equipped with an equivalence relation, be incomparable?

Answer & Explanation

sleuteleni7

sleuteleni7

Beginner2022-06-23Added 28 answers

The word "incomparable" in the statement of your question is a bit misleading. Technically speaking, the question does not make sense because for an equivalence relation the notion of "comparable" is not defined. Of course, you may wish to say that if two elements of the set are related by the given equivalence relation, then they are "comparable", but that does not do justice to the notion of equivalence relation. Moreover, if you choose to do so, then the answer to the question is in general 'yes', because if you have more than one equivalence class you already have "incomparable" (i.e. non-related) elements.
It is best to think about an equivalence relation as a tool to identify elements of a set, whereas an order relation, partial or linear, is a tool to create a hierarchy. Identification and Hierarchy are two essentially different notions.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?