一个广义定义。在基于计算复杂性理论的现代密码学中，一个安全技术是"数学上可证明安全"（provably secure）的意思通常是，此安全技术的失败（比如在多项式时间内将单向函数逆反，或在多项式时间内将密码随机数发生器产生的数和真正随机数区别开来）的概率是关于密钥长度formula_30的一个"可忽略函数"（参见公钥密码学）。因为密钥长度formula_31肯定是自然数，这就是为什么开篇的定义把定义域改为自然数域的原因。不过，此关于可忽略函数的数学定义从未规定函数输入formula_8必须是密钥长度