弱コンパクト基数

かがみさんの日記 - 可測基数と弱コンパクト基数(再挑戦)

たぶん問題はないと思います。
これを、「κがweakly compactだっていうのはの中で書けるから、が同じなら問題なし」で納得できるようになったら直感がついてきた証拠ではないかと。