>lim[x→a]f(x)の定義：xがaに限りなく近づくとき
これって論理式で表現したらどうなる？
もしくは、「○○という性質を満たす操作」として定義するならどうなる？