>>470
>「任意の有限部分族がxxのとき，xx，と定義される」
>のフレーズはコンパクト性定理に由来する
> 正統な覚えておくべき言い回しですね
コンパクト性定理と言うよりコンパクト性の定義かと思うが
定義御存知？