for FMT being non empty FMT_Space_Str
for A being Subset of FMT holds A ^Fodelta = (A `) ^Fodelta