theorem :: MEMBERED:33

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