可測空間と可測写像
https://arxiv.ハテナブログ.com/entry/2018/04/01/014110
ハテナブログはローマ字で

定義
(S,Α)、(T,Β)を可測空間とする。写像f:S->Tが可測とはf^(-1)(Β)⊂Αを満たすとき、fは可測という。
時枝記事の場合はS=R^Nの百個の直積、T=(R^N/〜)の百個の直積