The Set is compact if, from any Sequence of elements , , ...of , a subsequence can always be extracted which tends to some limit element of . Compact sets are therefore closed and bounded.