Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Compactness is weakly hereditary  + (1)
• Complete regularity is hereditary  + (1)
• Hausdorff implies KC  + (1)
• Hausdorffness is hereditary  + (1)
• T1 is hereditary  + (1)
• Hausdorffness is refining-preserved  + (1)
• First-countable and T1 implies cardinality at most of continuum  + (1)
• Compactness is coarsening-preserved  + (1)
• Star-like implies contractible  + (1)
• Noetherian implies compact  + (1)
• Connectedness is not box product-closed  + (1)
• Resolvability is open subspace-closed  + (1)
• Ultraconnectedness is weakly hereditary  + (1)

• Compact Hausdorff implies normal  + (2)