Baire Category Method

A technique that exploits the Baire category theorem to establish existence or genericity statements by showing that the set of objects with a desired property is comeagre (a countable intersection of dense open sets) or at least nonmeagre in a Baire space such as a complete metric space or a locally compact Hausdorff space.

A technique that applies the Baire category theorem to obtain generic existence or density results by showing that a countable intersection of dense open sets (a dense G_δ set) contains the typical objects with a given property in a complete metric or Baire space.