در نظریه مجموعه‌ها اِفراز یک مجموعه (به انگلیسی: Partition of a set) یعنی تبدیل کردن آن به زیرمجموعه‌هایش به طوری که، اشتراک هر کدام از آن زیرمجموعه‌ها با یکدیگر مجموعه تهی باشد (مجموعه‌های مجزا) و اجتماع تمامی زیر مجموعه‌ها برابر با مجموعه افراز شده باشد.

برای درک بیشتر و مثال بر روی تصویر کلیک کنید.

منبع : ویکی پدیا