افراز مجموعه
From Wikipedia, the free encyclopedia
در نظریه مجموعهها اِفراز یک مجموعه[1] (به انگلیسی: Partition of a set) یعنی تبدیل کردن آن به زیرمجموعههایش به طوری که، اشتراک هر کدام از آن زیرمجموعهها با یکدیگر مجموعه تهی باشد (مجموعههای مجزا) و اجتماع تمامی زیر مجموعهها برابر با مجموعه افراز شده باشد.