s is an additive submonoid: a set containing 0 and closed under addition.

s is a submonoid: a set containing 1 and closed under multiplication.