# Compact T1 space

From Topospaces

## Contents

## Definition

A **compact T1 space** is a topological space that is both a compact space and a T1 space.

This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces

*This article describes a property of topological spaces obtained as a conjunction of the following two properties:* compact space and T1 space

## Relation with other properties

### Stronger properties

Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|

compact Hausdorff space |

### Weaker properties

Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|

compact space |