Подмножеством множества А называется множество А` все элементы которого принадлежат множеству А Пример: 2. Для каждого множества А существуют множества, элементами которого являются только все его подмножества. Аксиома объединения: Для произвольных множеств А и В существует множество, элементами которого являются все элементы множества А и все элементы множества В и никакие другие элементы множество не содержит. Аксиома разности: Для произвольных множеств А и В существует множество, элементами которого являются те и только те элементы множества А, которые не содержатся в множестве В. Разность множеств А и В есть множество С, элементы которого обладают свойствами множества А и не обладают свойствами множества В или принадлежат множеству А и не принадлежат множеству В.