Statement:

Closed Filter Extendability for \(T_1\) Spaces: Every closed filter in a \(T_1\) topological space can be extended to a maximal closed filter.

Howard_Rubin_Number: 384

Parameter(s): This form does not depend on parameters

This form's transferability is: Unknown

This form's negation transferability is: Negation Transferable

Article Citations:
Herrlich-Steprans-1997: "Maximal filters, continuity and choice principles"

Book references

Note connections:
Note 10 Topology definitions

The following forms are listed as conclusions of this form class in rfb1: 8, 14,

Back