定義
X を局所コンパクト空間とする。
X から [0, +∞] への下半連続関数(>>113)の全体を I+(X) または
単に I+ と書く。