How do subscripts let you take a union of infinitely many sets, and why can such a union be all of ℕ?
Loading…
Subscripts as index tags, with the family
Define , list through , and compute and , recording that the bounds on the symbol pick which sets are combined.
Definitions of and
Write both set-builder definitions, marking that the union uses 'for some ' and the intersection 'for all ', then write the versions for over infinitely many sets.
The family and its infinite union
Compute and , then and , and note that unions grow and intersections shrink as more sets are included.