:: deftheorem defines ^Fodelta FINTOPO2:def 9 :
for FMT being non empty FMT_Space_Str
for A being Subset of FMT holds A ^Fodelta = { x where x is Element of FMT : for W being Subset of FMT st W in U_FMT x holds
( W meets A & W meets A ` ) } ;