Изучаем свойства операций над множествами: теория и примеры