Definition:Preordered Set