Let be a Topological space. Suppose every sequence in has a convergent subsequence. Then is called sequentially compact. Compact - Sequentially Compact - Totally Bounded