browse words by letter
a b c d e f g h i j k l m n o p q r s t u v w x y z


  1  definition  found 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
    A  {relation}  R  is  antisymmetric  if 
  for  all  x  and  y,  x  R  y  and  y  R  x  =>  x  ==  y. 
  I.e.  no  two  different  elements  are  mutually  related. 
  {Partial  orders}  and  {total  orders}  are  antisymmetric.  If  R 
  is  also  {symmetric}  (x  R  y  =>  y  R  x)  then  x  R  y  =>  x  ==  y. 
  I.e.  different  elements  are  not  related.