theorem Th40: :: FINTOPO3:40

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