Definition:Preordering/Preordered Set