Category:Locally Finite Sets of Subsets

From ProofWiki
Jump to navigation Jump to search

This category contains results about Locally Finite Sets of Subsets.

Definition

Let $T = \struct {S, \tau}$ be a topological space.

Let $\FF$ be a set of subsets of $S$.


Then $\FF$ is locally finite if and only if each element of $S$ has a neighborhood which intersects a finite number of sets in $\FF$.


Sources