Multiplicatively Closed

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

 

Additively Closed