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

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