目次

• 関係
  • 関係の形式的定義
  • 同値関係
  • 分割，同値類
  • 商集合
  • 写像の標準分解
  • 順序関係
  • 全順序
  • 上界，下界，上限，下限
  • 増加写像・減少写像
  • 極大元，極小元，最大元，最小限
  • 整列順序
    • 整列順序の定義
    • 超限帰納法
    • 整列可能定理
    • Zrnの補題
    • 同型定理