let f  (f-space) be a motion