Definition talk:Finite Intersection Property

I think we also need to require that $\Bbb S$ is non-empty. This fact is used implicitly in every page I've seen referencing this one. --CircuitCraft (talk) 01:27, 20 July 2023 (UTC)

Good call. --prime mover (talk) 05:14, 20 July 2023 (UTC)