Borel sigma-algebra of a discrete space (source code)

= Borel sigma-algebra of a discrete space

Every subset of a <discrete space> is open, so its Borel sigma-algebra is the full <power set>.