を1つの集合とし、をの冪集合とする。