unary mex operator: n-set; maps a nonnegative integer 'a' to the set \1, \dots ,a\ (the intersection of the set of all natural numbers with the closed ordered interval [1,a] such that a geq 1).
0 maps to the empty set. Inputting infinity produces the set of all natural numbers, N.