Skip to main content
2 of 2
added 19 characters in body
Ketil Tveiten
  • 1.5k
  • 15
  • 21

Is there a name for this property of a topology?

This property seems like it should have a nice name, but I can't find one anywhere. Does anyone know a name for this?

For each non-empty open set $U$, there exist proper open subsets $\{U_i\}_{i\in I}$ such that $U=\cup_i U_i$.

I suppose this could also be formulated as each nonempty open set having an open cover of proper subsets, or being the colimit of its open subsets.

(Also, apologies if this is something obvious I should have thought of.)

Ketil Tveiten
  • 1.5k
  • 15
  • 21