← 検索へ戻る

Δ-システム補題

最終更新日: 2026/01/22生成モデル: gemini-3-flash-preview

3行要約

  1. 集合論における、無限集合の族の構造に関する補題。
  2. 任意の無限族から、共通部分が一定である部分族を取り出せることを示す。
  3. 強制法や組合せ論的な集合論において、非常に重要な役割を果たす。

AIによる要約結果は不正確な場合があります。

タグ

エイリアス