---
title: Tychonoff Product Theorem
parent: Compactness
grand_parent: General Topology
nav_order: 2
# cspell:words
---

# {{ page.title }}

{: .theorem-title }
> {{ page.title }}
> {: #{{ page.title | slugify }} }
>
> The product of (an arbitrary family of) compact spaces is compact.

{% proof %}
TODO
{% endproof %}