for T being non empty RelStr
for A, B being Subset of T
for n being Nat holds (Fint (A,n)) /\ (Fint (B,n)) = (Fcl (((A /\ B) `),n)) `