Locally regular space

From Topospaces

Definition

A topological space is termed locally regular if it satisfies the following equivalent conditions:

  1. It has a basis of open subsets each of which is a regular space under the subspace topology.
  2. For any , there exists an open subset containing such that is a regular space with the subspace topology.
  3. For any and open subset containing , there exists an open subset containing such that and is a regular space with the subspace topology.

This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces

Relation with other properties

Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
regular space