*Definition [#lebb119c]
任意の[[chain net]]が収束するcofinal subnetを持つ。

*Reference [#z222b169]
K.P.Hart, J. Nagata and J.E. Vaughan, ''Encyclopedia of general topology'', Elsevier Science.