PREORDERING

Definition of PREORDERING