定義
L を有界(>>156)な束(>>156)とする。
L の任意の元が補元(>>328)を一意に持つとき L を一意相補束(uniquely complemented lattice)と言う。