PREORDERS

Definition of PREORDERS