>>620 関連事項

良い機会だから、関連事項を説明しておく

”35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/15 時枝問題(数学セミナー201611月号の記事)”(>>11
より
「確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義される」という記述

これも、>>620 コンパクト性定理
「一階述語論理の文の集合がモデルを持つこと(充足可能であること)と、その集合の任意の有限部分集合がモデルを持つことが同値」
「つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理」
と類似だ

つまり、無限集合について、なにか言いたいとき、「任意の有限部分が○○」と表現する
これは、調べると、結構出てくる記法だね(^^