theorem Th20: :: CARD_1:21

for A, B being Ordinal holds
( A in B iff aleph A in aleph B )