S is a subring: a set containing 1 and closed under multiplication, addition and and additive inverse.