Примеры

cofinal subclass - конфинальный подкласс;
coinitial subclass - коинициальный подкласс;
complementary subclass - дополнительный подкласс;
cyclic subclass - циклический подкласс;
elementary subclass - элементарный подкласс;
empty subclass - пустой подкласс;
locally closed subclass - локально замкнутый подкласс;
partially ordered subclass - частично упорядоченный подкласс;
preordered subclass - предупорядоченный подкласс;
proper subclass - собственный подкласс, собственное подмножество;
recursively enumerable subclass - рекурсивно перечислимый подкласс;
replete subclass - реплично полный подкласс;
total subclass - полный подкласс;
totally ordered subclass - вполне упорядоченный подкласс;
totally recursive subclass - тотально рекурсивный подкласс;
unequal subclasses - неодинаковые подклассы;
universally axiomatizable subclass - универсально аксиоматизируемый подкласс;
void subclass - пустой подкласс;