Baire property in the Ellentuck topology
= Baire property in the Ellentuck topology
{c}
{title2=$E\triangle U\text{ is star-meagre}$}
= Star-Baire set
{synonym}
A subset of the <space of infinite subsets of the natural numbers> has this property when it differs from an <Ellentuck topology> open set by a <meagre set> in the same topology. By the complete-Ramsey characterization, these are precisely the <completely Ramsey sets>. Using meagreness from a different topology changes the definition.