Класс (математика)

Класс — термин, употребляемый в математике в основном как синоним термина «множество» для обозначения произвольных совокупностей объектов, обладающих каким-либо определенным свойством или признаком (например, в алгебре — классы эквивалентности). Иногда классами предпочитают называть совокупности, элементами которых являются множества (например, в рекурсивной теории — перечислимые классы). В некоторых случаях под влиянием аксиоматической теории множеств термин «класс» применяется для того, чтобы подчеркнуть, что данная совокупность оказывается собственно классом, а не множеством в узком смысле (например, в алгебре — примитивные классы универсальных алгебр, называемые также многообразиями). Теоретико-множественные операции над классами определяются так же, как и над множествами.