べきしゅうごう【冪集合】 集合Mのすべての部分集合の集合をMの冪集合という。2^Mで表す。