:: deftheorem defines Fo_closed FINTOPO2:def 17 :
for FMT being non empty FMT_Space_Str
for G being Subset of FMT holds
( G is Fo_closed iff G = G ^Fob );