無視可能函数
実数列 μ: N → R は、任意の正整数 c に対して適当な整数 Nc を選べば、x > Nc なる全ての x について
| μ ( x ) | < 1 x c {\displaystyle |\mu (x)|<{\frac {1}{x^{c}}}}
が成り立つようにできるとき、「無視できる」という。あるいは同じことだが、次のように定義してもよい。すなわち、実数列 μ: N → R が「無視できる」とは、任意の正値多項式 poly(•) に対して適当な自然数 Npoly を選べば、x > Npoly なる全ての x に対して
| μ ( x ) | < 1 poly ( x ) {\displaystyle |\mu (x)|<{\frac {1}{{\text{poly}}(x)}}}
が成り立つようにできることをいう。