最小自由数 (最小除外数)

\[\mathrm{mex}~(T) = \min \mathbb N \setminus T\]