partial order

Мат. частичный порядок