Baire class one function

ID: 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.

New to topics? Read the docs here!