 A special case is Fx = x + 1.  That is,   Fx is the disjoint union of x with a singleton.   And if f : x → y,  then   Ff : Fx → Fy works in much the same way, taking the new point in x to the new point in y, and otherwise behaving like f. 