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