for A being non empty set holds RRing A is commutative Ring