Partially ordered class

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