Inductively ordered class

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