preorder (English, noun)
expansion: preorder (plural preorders)
Senses:
glosses: An order for goods or services placed in advance.
topics: mathematics
order-theory
sciences
set-theory
glosses: A binary relation that is reflexive and transitive.
Forms:
form: preorders
tags: plural