Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-1/23h/b/solution

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.

New to topics? Read the docs here!