In mathematics, any two elements x and y of a set P that is partially ordered by a binary relation = are comparable when either x = y or y = x. If it is not the case that x and y are comparable, then they are called incomparable.