( S1 is finite Subset-Family of X & S2 is finite Subset-Family of X ) by XBOOLE_1:1;
then card (INTERSECTION (S1,S2)) c= card [:S1,S2:] by TOPGEN_4:25;
hence INTERSECTION (S1,S2) is finite ; :: thesis: verum