for UN being Universe
for x being Element of RingObjects UN holds x is strict Ring