Alexandrov space

Definition
A topological space is termed an Alexandrov space or finitely generated space if it satisfies the following equivalent conditions:

Opposite properties

 * T1 space: Alexandrov and T1 implies discrete