let be a relation over set ( ) we say is an Antisymmetric relation if for each , if and then
there exist and so that