previous up next
Go backward to Example
Go up to Top
Go forward to Total Order
RISC-Linz logo


Definition: Two elements x and y are incomparable with respect to a relation <= if neither x <= y nor y <= x:

x and y are incomparable w.r.t. <= : <=>
   x not <= y /\  y not <= x.

Example: {0, 1} and {1, 2} are incomparable w.r.t. subset .

Author: Wolfgang Schreiner
Last Modification: January 18, 2000

previous up next