まず冪集合2"x" は φ に属するから φ は空でなく、従って φ に属する元すべての交わり σ*は空積でない。