集合formula_1の冪集合は、冪を表すからとって、通常は