クラス関数について、割と頻繁に使われる定理を一つ証明しておきます。 定理 F がクラス関数で、u は に含まれる集合とする。このとき は集合である。したがって は関数。 は集合である。(証明) が集合であることが分かれば、 が集合となることは直ちにわか…