Mex

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

mex (ang. minimum excluded) – dla danego zbioru złożonego z liczb porządkowych, najmniejsza liczba porządkowa, która do niego nie należy.

Na przykład:

gdzie to najmniejsza nieskończona (czyli typ porządkowy zbioru liczb naturalnych).

W teorii Sprague-Grundy’ego mex odgrywa decydującą rolą w określaniu nimliczb.