lexicographic semiordering

Мат. лексикографическое полуупорядочение