تعریف: فرض کنیم A یک مجموعه ی غیر تهی باشد گوییم A به n زیرمجموعه ی افراز شده است اگر:
الف_ برای هر
ب_ برای هر
ج_