COMS W3203 Lecture 8: Sets
5 Oct 2016
School
Department
Course
Professor
Document Summary
S1={ : x> 0 x=5a for some 7} S2={ : (3 9) x 5 6 8} B ( ) iff : proving equality and inclusion, proof template 7 (two sets are equal) Let a, b be two sets - to show that = , use the following template. From i) and ii) conclude : proof template 8 (inclusion) A: def (finite set): a set a is finite if it has exactly elements, 7 or = 0, def (cardinality of power set p(a)): theorem = 2 b. Intersection: = {: : union: = {: , complement: f = { : , difference: = : , venn diagrams, difference, complement of a. Example: = 1, 2 , 3, 4,5 , , 6 , = 1, 2 , 4,5 , 7: 3 , 3 since 3 is not a set. 3 , 3 : 2 , 2 .
