Basic properties thumb| and implies Reflexivity: Given any set , Transitivity: If and , then Antisymmetry: If and , then .
Basic properties thumb| and implies Reflexivity: Given any set , Transitivity If and , then Antisymmetry: If and  then 