квази-упорядоченность

Partial ordering, quasi-ordering