よって、半順序集合Pの基底(base)Bを、任意のP中のxに対して、xよりもwaybelowであるようなB中の要素の集合の上限がxとなるようなPの部分集合として定義する。
因此，你定义偏序集合P的基为P的子集B，是的对于P中每个x，B中远低于x的元素的集合包含带有上确界x的有向集合。