Всякое понятие имеет содержание и объем. Содержанием понятия называется совокупность существенных признаков одноэлементного класса или класса однородных предметов, отраженных в этом понятии. Содержанием понятия “квадрат” является совокупность двух существенных признаков: “быть прямоугольником” и “иметь равные стороны”.
Объемом понятия называют совокупность (класс) предметов, которая мыслится в понятии. Объективно, т. е. вне сознания человека, существуют различные предметы, например, школьники. Под объемом понятия “школьник” подразумевается множество всех школьников, которые существуют сейчас, существовали ранее и будут существовать в будущем. Класс (или множество) состоит из отдельных объектов, которые называются его элементами. В зависимости от их числа множества делятся на конечные и бесконечные. Например, множество столиц государств конечно, а множество натуральных чисел бесконечно. Множество (класс) А называется подмножеством (подклассом) множества (класса) В, если каждый элемент А является элементом В. Такое отношение между подмножеством А и множеством В называется отношением включения класса А в класс В и записывается так: А c. В. Читается: класс А входит в класс В. Это отношение вида и рода (например, класс “стол” входит в класс “мебель”).
Отношение принадлежности элемента а классу А записывается так: а є А. Читается: элемент а принадлежит классу А. Например, а — “Нева” и А — “река”.
Классы А и В являются тождественными (совпадающими), если А c В и В c А, что записывается как А=В.