("f""n")を "x" から "y" への写像の列とする。