for U being Universe holds
( On U <> {} & On U is limit_ordinal )