preorder ( synonym found)

Definition of preorder:

(n) : a binary relation that is reflexive and transitive

Back to Top