集合的間隙(gap of a set)類似於有理數的分劃的概念在一般全序集上的推廣.設(屍，<)是全序集，若集合對(A,B)滿足:1. A和B是P的非空不相交的子集，且A}JB=P;2.若aEA，且bEB，則aGb;3.A沒有最大元，且B沒有最小元，則稱(A,B)為P的間隙.若<為數的大小關係，則P=R時無間隙,P=D時有間隙.
