Definition of "preordered"

preordered