theorem :: MEMBERED:34

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