for D being Ordinal ex A being Ordinal st
( D in A & A is limit_ordinal )