theorem :: ZF_REFLE:10

for psi being Ordinal-Sequence holds Union psi is Ordinal ;