Skip to main content
1 of 4
Jeff Strom
  • 12.5k
  • 3
  • 48
  • 76

Name for a kind of topological property?

What should I call a property (P) of (open) subspaces of a space $X$ such that:

  1. If $U$ satisfies (P), then so does every open subset $V\subset U$

  2. If $\leftbrace U_i \rightbrace$ is a pairwise disjoint collection of sets satisfying (P), then $\bigcup_i U_i$ satisfies (P).

My understanding is that if (P) satisfies condition 1, then (P) is called a hereditary property.

Jeff Strom
  • 12.5k
  • 3
  • 48
  • 76