Totally ordered class

математика вполне упорядоченный класс