theorem :: MEMBERED:31

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