Preorder

Материал из WEGA
Перейти к навигации Перейти к поиску

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

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