Because every subset of is open, the Borel sigma-algebra of a discrete space is
If or and is a Borel subset of the codomain, then is some subset of , hence is Borel. Thus every such function is a Borel measurable function.