Description: Definition of the category Rng, relativized to a subset u . This is
the category of all non-unital rings in u and homomorphisms between
these rings. Generally, we will take u to be a weak universe or
Grothendieck universe, because these sets have closure properties as good
as the real thing. (Contributed by AV, 27-Feb-2020)(Revised by AV, 8-Mar-2020)