The notion of compactness must obviously be defined on the given abstract measure space.
^ コンパクト性の概念は、与えられた抽象的測度空間上で明白に定義される必要がある。