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