Borel subset

This article defines a property over pairs of a topological space and a subspace, or equivalently, properties over subspace embeddings (viz, subsets) in topological spaces

Definition

A subset of a topological space is termed a Borel subset if it is in the Borel $\sigma$-algebra generated by the open sets (or equivalently, by the closed sets).

Relation with other properties

Stronger properties

• Open subset
• Closed subset
• Locally closed subset
• G-delta subset
• F-sigma subset