for F, X being set st X in F & X is ext-natural-membered holds
meet F is ext-natural-membered