Утверждение (A∩B) ⊆ (A∪B) является истинным. Пересечение двух множеств всегда является подмножеством их объединения.