In mathematics, two elements x and y of a set P are said to be comparable with respect to a binary relation <= if at least one of x <= y or y <= x is true. They are called incomparable if they are not comparable.

Rigorous definition

A binary relation on a set is by definition any subset of Given is written if and only if in which case is said to be related to

3.Next