Дискротека: Теорема об объединении подмножеств.