theorem Th38: :: ZFREFLE1:38

for W being Universe
for a being Ordinal of W st omega in W holds
ex b being Ordinal of W ex M being non empty set st
( a in b & M = Rank b & M <==> W )