Формулы операций с множествами