theorem :: MEMBERED:36

for F, X being set st X in F & X is natural-membered holds
meet F is natural-membered by Th24, SETFAM_1:3;