• ある集合 のすべての部分集合を含む集合を べき集合 という
    • のとき、べき集合は