Uno de los teoremas más famosos de Topología General es el teorema de Tychonoff sobre la compacidad del producto cartesiano de los espacios compactos. Este teorema tiene demostraciones cortas y sencillas, como por ejemplo ...

Sea S un semigrupo y A ⊆ S. Para cada x ∈ S se define el conjunto x−1A := {y ∈ S : xy ∈ A}. Decimos que A es síndico si existe F ⊆ S finito tal que, S =[t∈Ft−1A. Se dice que A es síndico a trozos si existe F ⊆ S finito ...