单点集是列紧集;有限点集是列紧集;可列点集未必是列紧集