[講義予定より,大幅に遅れている ...] ◎集合代数で重要な双対性(そうついせい;duality) ◎有限集合の数え上げの方法 ☆ 定理 theorem:定義や他の定理から導かれる。 補題 lemma:補助定理ともいう。定理を導くための補助となる。 系 corollary:定理などから容易に導かれる。 ◎べき集合 power set ★ 今日の Quiz は,補充問題 1.36 の (c)