limf(x_n)[n→∞] = f(limx_n[n→∞])
が成り立つような関数fのことをなんて言うんだっけ??