for A being Ordinal st A <> {} holds
{} in A