theorem :: FINTOPO2:42

for FMT being non empty FMT_Space_Str
for A being Subset of FMT holds A ^Fodelta = (A ^Fob) \ (A ^Foi)