اِفراز مجموعه

در مورد یک مجموعۀ مفروض، گردایه‌ای (collection) از مجموعه‌های مجزا که اجتماعشان برابر مجموعۀ مفروض است