theorem Th20: :: FINTOPO3:20

for T being non empty RelStr
for A being Subset of T holds Fint (A,1) = A ^i