theorem Th4: :: ZF_COLLA:4

for E being non empty set
for A, B being Ordinal st A c= B holds
Collapse (E,A) c= Collapse (E,B)