Let be Compact Hausdorff and . Then is compact if and only if is closed, bounded, and Equicontinuous.