>>111
Xを集合としたとき
(2^X)^(2^X)の各元に対してXの位相が一意に定まるの?