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