The greatest lower bound of a is also called the infimum of a . A的最大下界边称为A的下确界。
2.
The greatest lower bound of a is also called the infimum of a A的最大下界边称为a的下确界。
3.
Fourthly we use the infimum of the moment generating function to study the a - transient and a - recurrent for random walks and levy processes , give a dichotomy theorem for not one - sided processes and prove tha t the process x is quasi - symmetric if and only if x is not a - recurrent for all a < 0 which is the probability explanation of quasi - symmetry 对于随机游动和l vy过程，我们用矩母函数的最小值讨论了他们的-常返性和-暂留性，给出非单边过程的一个二分定理，并证明了拟对称过程等价于过程对任意0都是-常返的，这是拟对称的概率意义。
4.
Secondly , because the operator is associativity , so it is possible to avoid the boring complicated letters thirdly , because the association of resolution and paramodulation is generalized complete , we can use the infimum of the operator to gradually close the false level of cause set . so it is not necessary to choose threshold before resolution and paramodulation . the operator is got from every resolution and paramodulation 其次，由于算于的运算适合结合律，因而可以避兔令人讨厌的复杂文宇1v … kp ） … ）口第三， bofl中的归结和调解的结合是广义完备的，可以用每次归结和调解出来的下确界逐步逼近子句集的恒假水平，从而不必费心在调解前选择合适的i ’刊b 。
