*定義 [#j3b1b0dd]
-A family F of sets in a topological space X is called convergent sequence finite if every convergent sequence in X meets at most finitely many members of F.
We will use the abbreviation cs-finite for convergent sequence finite.

*出典 [#i8c1d538]
-Mancuso, V. J.,''Mesocompactness and related properties'', Pacific J. Math. 33 1970 345--355.