One can consider even more general spaces.
もっと一般の空間を想定することもできる。