侧完备格序群﹡

侧完备格序群名词解释：一类重要的格序群.两两不相交的元素集有上确界的格序群,称为侧完备的.强可投射且侧完备的格序群,称为直交完备的.若格序群H是格序群G的一个极小直交完备的本质扩张,则H称为G的直交完备化.可表示格序群的直交完备化是存在的.任意格序群都有惟一的侧完备化.