for UN being Universe
for u being Element of UN holds succ u is Element of UN