Definition:Associative Ring