theorem :: ORDINAL3:11

for A being Ordinal
for X being set st X c= A holds
meet X is Ordinal