集合と論理

集合

• 集合の定義と記法
• 集合の演算
• 集合の直積
• べき集合
• 集合の濃度

写像

• 写像
• 単射・全射・全単射
• 逆写像と合成写像

関係

• 二項関係
• 二項関係の逆関係・合成関係
• 同値関係
• 順序関係

論理

• 論理演算子と量化記号
• 量化子消去