КЛАСС, МНОЖЕСТВО

- конечная или бесконечная совокупность объектов, выделенная по общему для них признаку (свойству или отношению), мыслимая как нечто целое. Объекты, составляющие К., называются его элементами. Примером К. (м.) могут быть следующие: "реки России", "четные числа". Первый К. является конечным, второй - бесконечным. Элементами первого К. являются отдельные реки - Волга, Ока, Енисей и др. Элементами второго К. являются числа - 0, 2, 4, 6, 8 и т. д. до бесконечности. Элементами К. могут быть, в свою очередь, К. Так, элементами К. "типы животных" являются К. простейших животных, губок, кишечнополостных и т. д. К. бывают единичными, общими и нулевыми (пустыми). Единичные К. состоят из одного элемента (напр., "самая большая река в Европе"); общие К. состоят из двух и более элементов (напр., "химический элемент", "машина"); нулевые К. не включают в свой состав ни одного элемента (напр., "круглый квадрат", "число меньше двух и больше трех").
Объект определенной области принадлежит данному К., является его элементом, если он обладает признаками, по которым образован К. В противном случае он исключается из К. Так, если нам дана область натуральных чисел и мы хотим выделить те из них, которые являются элементами К. простых чисел, то в К.. простых чисел войдет, напр., число 7, т. к. оно обладает свойством
простых чисел ("7 - простое число" - истина), а число 8 не войдет (т. к. "8 - простое число" - ложь). Образуя К. к.-л. объектов, мы начинаем их рассматривать лишь под углом зрения некоторых свойств, от иных же свойств абстрагируемся. Так, образуя К. квадратов, мы учитываем такие свойства плоских многоугольников, как "быть четырехугольником", "иметь равные углы", "иметь равные стороны". Площадь, длина сторон и т. п. не учитываются. Это означает, что отдельные квадраты, составляющие К.квадратов, отождествляются нами, становятся неразличимыми в некоторых свойствах (см.: Абстракция).
Общее понятие о К. возникает как результат абстракции не только от природы его элементов, но и от их порядка.