canonical quasiordering

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