>>529 補足
>空集合と単集合から生成した半束を K(S) と記し、S が K(S) に属する場合、S をクラトフスキ有限集合と呼ぶ。

単集合=シングルトンですな w(^^;