冪集合のクライスリトリプル