for E being non empty set
for d being Element of E ex A being Ordinal st d in Collapse (E,A)