برای هر دسته دلخواه از مجموعه‌ها، مجموعه‌ای وجود دارد که شامل عناصری است که به حداقل یکی از مجموعه‌های دسته مفروض تعلق دارند.
axioms of set theory
اصول موضوع نظریه مجموعه‌ها
union axiom
اصل موضوع اجتماع