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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.