theorem Th19: :: MOD_2:19

for UN being Universe
for u, v, w being Element of UN holds {u,v,w} is Element of UN