Вопросы преподавания математики в школе и вузе. Вып 1. 1971г.

ш е- Х с У Х = У У г _ х Х 0 У Х ® у 2) Буден считать, что множества X и У /произвольные элементы из Фк / , вообще говоря, могут находится в о т н о н и я х: - включение X в У } -тождественность, - включение У в X , - пересечением У , - непересечение, которые являются единственно возможныни и взаимно исключающими. Заметим, что точный смысл перечисленных отношений легко усмат­ ривается из собтветствующих диаграмм Эйлера /см . Приложение I / , 3) Над основными объектами X и У - элементами множества Фк - обычным образом определены о с н о в н ы е о п е р а ­ ц и и : Х п У = г - пересечеиия, X и У = 2 - объединения и X = 2 -дополнения. Кроме однозначной выполнимости /р е з у л ь т а т ^ операции над Х и У является определенным элементом кафе /основные операции обладают свойствами / I / - / 1 9 / , которые ьы будем называть о с н о в н ы м и т о ж д е с т в а м и алгебры множеств /см . Приложение П/. Заметим, что в доказательстве некоторых из тождеств / I / - /1 9 / учащиеся уже упражнялись. Их. истинность легко выводится из определений отношения тождественности между множествами и оперзт цияни над ниш. 4) Символы, обозначающие множества и составленные из .эле­ ментов множества Фк /символов исходных множеств/ .гго«раийДством