Let x be a set and choose a fixed element x₀∊x. Demonstrate that
Tx₀:={U⊆X : U= ⊘ or x₀∊U}
defines a topology on x, known as the distinguished point topology.