for a being Ordinal
for U being Universe st omega in U & a in U holds
(U -Veblen) . a is normal Ordinal-Sequence of U