この場合、半順序の条件は確からしさを表していると説明され、bor(i)-名前は所属関係を確率的な意味で割り当てる。