A poset is "bounded" if it has smallest and largest elements; call them 0 and 1.
一个偏序集“有界”，如果它有最小和最大元素，我们把它们叫作0和1。