“下确”造句

A的最大下界边称为A的下确界.
The greatest lower bound of A is also called the infimum of A.

给出了 非 平凡二连通测地图边数的下确界; 改进了部分结果.
Gives the infimum of the numbers of dege in 2 - connected nontrivial geodetic graph; Renew some results.