自明で済ますのか？ｗｗ
それは無限集合には有限個しかないのは自明だと言ってるどこかの素人と一緒だな。

ところでこのレスに見覚えあるか？
定義域と聞いてピンとこないようだからな。
もっと引用してやろうか？思い出せなければ。

http://rio2016.2ch.net/test/read.cgi/math/1501561433/128
--------------
問題1
写像 F：{ 1, 2 } → N を F(1)＝1, F(2)＝2 で定義する。
このとき、F(3)＝F(4) が成り立つと言えるか？

解答
3と4は写像Fの定義域に入ってない。よって、F(3)とF(4)は定義されておらず、
"F(3)" とか "F(4)" という記号列を使うこと自体が間違っている。
もちろん、F(3)＝F(4) は成り立たない。というか、F(3)＝F(4) の
成立・不成立を問うこと自体がナンセンスである。


問題2
件の測度空間において、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立つと言えるか？

解答
H1とH2は非可測なので、写像μ_r×μ_r'の定義域に入っていない。
よって、μ_r×μ_r'(H1)とμ_r×μ_r'(H2)は定義されておらず、
"μ_r×μ_r'(H1)" とか "μ_r×μ_r'(H2)" という記号列を使うこと自体が間違っている。
もちろん、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立たない。というか、
μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) の成立・不成立を問うこと自体がナンセンスである。