for A being non degenerated commutative Ring
for S being non empty multiplicatively-closed without_zero Subset of A st not 0. A in S holds
ker (canHom S) c= ZeroDiv_Set A