for X being set st ( for x being object st x in X holds
x is Ordinal ) holds
meet X is Ordinal