Definition:Baire Category

Definition
The Baire category of a topological space $T$ is a way of specifying how dense $T$ is: