اِفراز مجموعهpartition of a setواژههای مصوب فرهنگستاندر مورد یک مجموعۀ مفروض، گردایهای (collection) از مجموعههای مجزا که اجتماعشان برابر مجموعۀ مفروض است