for A being non degenerated commutative Ring
for a being Element of A
for J being proper Ideal of A holds multClSet (J,a) is multiplicatively-closed ;