theorem :: FINTOPO3:16

for T being non empty RelStr
for A being Subset of T holds Fcl (A,2) = (A ^b) ^b