Cardinality Upper bound on the cardinality of an arbitrary union Let {π΄π}πβπΎ be a collection of sets such that |π΄π| β€π for all π βπΎ and |πΎ| =π . Then1 set β£βπβπΎπ΄πβ£β€ππ Proof proof develop | en | SemBr Footnotes 2008. Advanced Linear Algebra, p. 16 β©