theorem Th42: :: FINTOPO3:42

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