In this talk we will prove that any product of compact sets is compact, using well-ordering and transfinite induction, instead of relying on ideas of ultrafilters, and finite intersection property.