The Borel -algebra of a topological space is . On : is also generated by the open intervals, by the closed intervals, by the rays , and by rays with rational endpoints (Exercise 9.1) — each family generates the opens by countable operations, e.g. every open set of is a countable union of open intervals with rational data.
Mathematics · Glossary