Go backward to OverviewGo up to TopGo forward to Partial Order |

*Definition:* A binary relation is
*antisymmetric*, if different
elements are not mutually related.

Ris antisymmetric onS: <=>forallxinS,yinS: (<x,y> inR/\ <y,x> inR) =>x=y.

*Example:* the following relation is *not* antisymmetric:

Author: Wolfgang Schreiner

Last Modification: January 18, 2000