Необходимо доказать тождества (в обе стороны), используя только определения операций над множествами + пояснение операций.