任意の集合Sに対し、その冪集合P(S)上に部分集合のあいだの包含関係によって半順序⊆を定めることができ、これによって(P(S),⊆)は束になる。
假定一个集合S，偏序⊆可以通过子集包含定义在幂集P(S)上，把(P(S),⊆)变成了一个格。