G-delta subset: Difference between revisions

From Topospaces
No edit summary
 
m (2 revisions)
 
(One intermediate revision by the same user not shown)
Line 3: Line 3:
==Definition==
==Definition==


A subset of a [[topological space]] is termed a <math>G_\delta</math> subset if it is expressible as a countable intersection of open subsets.
A subset of a [[topological space]] is termed a <math>G_\delta</math> subset if it is expressible as a countable intersection of [[open subset]]s.


==Relation with other properties==
==Relation with other properties==

Latest revision as of 19:45, 11 May 2008

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 subset if it is expressible as a countable intersection of open subsets.

Relation with other properties

Stronger properties

Related properties

There are related notions captured in the G hierarchy and F hierarchy