Additively Closed

A mathematical object S is said to be additively closed if implies that .

 

Multiplicatively Closed