> [!NOTE] Definition > A countable union is a [[Union of sets|union]] of a countable set of sets: that is a union of the form $\bigcup_{I\in S} I$where $S$ is [[Countable Set|countable]]. # Properties By [[countable unions of countable sets are countable]], ...