The fact that the discontinuity set of a function from R to R with its usually topology is a F-sigma set is one of the most succinct proofs that such a function cannot have the rationals equivalent to its continuity set. As R satisfies very stringent separation axioms (T6) I was wondering if there was a weakening of these axioms such that the result still holds.