空間構成可能関数