Infimum and supremum

的序列是完備的（英语：completeness (order theory)），也就是說，其所有的非空有界子集都有上界與下界（英语：Infimum and supremum） R {\displaystyle R} 所有彼此不相交的非空開區間的搜集是可數的（也就是 R {\displaystyle R}

，但仍沒有上確界和最大元。 本质上确界和本质下确界 始对象和终对象 極大與極小元 上极限和下极限 上界和下界 上確界和下確界（英语：Infimum and supremum） ( a , b ) ≤ ( x , y ) {\displaystyle (a,b)\leq (x,y)} 定義成 a ≤ x