 Minimum excluded positive integer

For a set of positive integers, its minimum excluded positive integer is the least positive integer absent from the set. This is the positive-indexed version of the minimum excludant, which normally allows zero.