theorem :: FINTOPO7:24

for T being non empty strict TopSpace holds T = FMT2TopSpace (TopSpace2FMT T)