Preorder

Материал из WEGA

Preorder --- предпорядок.

A binary relation on [math]\displaystyle{ \{1,2, \ldots, n\} }[/math] is a preorder, if it is reflexive and transitive.