べき集合

ある集合Aに対して、そのすべての部分集合を要素として持つ集合を、集合Aのべき集合と呼ぶ。

要素が3つの有限集合の場合、そのべき集合には空集合を含めて全部で8つの要素が含まれることになる。

べき集合の濃度は元の集合の濃度よりも真に大きくなるというカントールの定理を授業で証明した。