Let {: i ∈I } be a family of compact spaces and let X be their Tychonoff product. [MATHEMATICAL SCRIPT CAPITAL C] denotes the family of all basic non-trivial closed subsets of X and [MATHEMATICAL SCRIPT CAPITAL C]R denotes the family of all closed subsets H = V × Πmath imageXi of X, where V is a non-trivial closed subset of Πmath imageXi and QH is a finite non-empty subset of I. We show: Every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL (...) C]R extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ if and only if every family H ⊂ [MATHEMATICAL SCRIPT CAPITAL C] with the finite intersection property extends to a maximal [MATHEMATICAL SCRIPT CAPITAL C] family F with the fip. The proposition “if every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ, then X is compact” is not provable in ZF. The statement “for every family {: i ∈ I } of compact spaces, every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R, Y = Πi ∈IYi, extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ” is equivalent to Tychonoff's compactness theorem. The statement “for every family {: i ∈ ω } of compact spaces, every countable filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R, X = Πi ∈ωXi, extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ” is equivalent to Tychonoff's compactness theorem restricted to countable families. The countable Axiom of Choice is equivalent to the proposition “for every family {: i ∈ ω } of compact topological spaces, every countable family ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C] with the fip extends to a maximal [MATHEMATICAL SCRIPT CAPITAL C] family ℱ with the fip”. (shrink)