for A being non degenerated commutative Ring
for J being proper Ideal of A holds multClSet (J,(1. A)) = {(1. A)}