theorem :: ORDINAL2:11

for X, Y being set st X c= Y holds
Lim X c= Lim Y