Baire class one function
= Baire class one function
A Baire class one function is a pointwise limit of <continuous functions>. On a complete metric domain, its set of discontinuities is meagre; in particular, it has a point of continuity on every nonempty perfect closed subset.