D是紧集当且仅当D上的每个连续函数都有界。