theorem Th22: :: FINTOPO3:22

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