theorem :: FINTOPO3:14

for T being non empty RelStr
for A being Subset of T holds Fcl (A,0) = A by Def2;