In mathematics, the mex of a subset of a well-ordered set is the smallest value from the whole set that does not belong to the subset.