نیمبر

نیمبرها اعداد ترتیبی با ضرب و جمع مخصوص به خود هستند که از خواص عملگر کمینه ناموجود(mex) نیز پشتیبانی می‌کند.

کمینه موجود

مقدار کمینه ناموجود(mex) یک مجموعه دلخواه ${\displaystyle S}$

جمع

جمع روی نیمبرها به صورت بازگشتی و با استفاده از قاعده زیر تعریف می‌شود.

${\displaystyle \alpha \oplus \beta =mex(\{\alpha ^{\prime }\oplus \beta :\alpha ^{\prime }<\alpha \}\cup \{\alpha \oplus \beta ^{\prime }:\beta ^{\prime }<\beta \})}$

ضرب

ضرب نیز به صورت بازگشتی تعریف می‌شود و از قاعده زیر استفاده می‌کند:

${\displaystyle \alpha \beta =mex(\{\alpha ^{\prime }\beta +allpha\beta ^{\prime }+\alpha ^{\prime }\beta ^{\prime }:\alpha ^{\prime }<\alpha ,\beta ^{\prime }<\beta \})}$

• نیم (بازی)
• قضیه اسپراگ-گراندی