for R being commutative Ring
for S being non empty multiplicatively-closed Subset of R holds S ~ R is Ring