Rationality indicator is not Baire class one
= Rationality indicator is not Baire class one
The indicator of the <rational numbers> in the <real numbers> is discontinuous everywhere because both the rationals and irrationals are dense. The discontinuity theorem for <Baire class one functions> therefore shows that it is not Baire class one.