The numerical semigroup of the integers which are bounded by a submonoid of N2

Let M be a submonoid of (N2,+) such that the set A(M)={n∈N|a