Yanıt hayır. Sonlu sayıda kompakt kümenin arakesiti kompakt olmak zorunda değildir.
N doğal sayılar kümesi, X=N∪{π,e} ve τ=2N∪{N∪{π},N∪{e},N∪{π,e}} olmak üzere N∪{π} ve N∪{e} kümeleri τ-kompakt olmalarına karşın (Neden?) bu kümelerin arakesiti olan
(N∪{π})∩(N∪{e})=N kümesi τ-kompakt değildir.(Neden?)