for A being non degenerated commutative Ring st A is domRing holds
{(0. A)} = ZeroDiv_Set A