論理記号 □ 論理記号（読み方）
集合 □ 集合の基本（元など） □ 集合の基本（部分集合など） □ 集合演算 □ 集合の基本（集合系、集合族など） □ 集合の基本（巾集合、直積など） □ 集合の相等に関する重要問題
写像 ★ 写像（単射、全射、像、逆像） □ 写像（合成写像） □ 写像（集合と写像の関係） □ 射影、選択公理（ＡＣ）
同値類、濃度 □ 同値類、商集合 □ 濃度、可算集合
追加事項 □ 命題論理と述語論理 □ カントールの定理（カントールの対角線論法） □ 直積に対する直観的説明 □ 部分集合系と部分集合族