Description: Open sets of a generalized real Euclidean space are Borel sets (notice that this theorem is even more general, because X is not required to be a set). (Contributed by Glauco Siliprandi, 3-Jan-2021)