正文

紧集(具有紧支集的连续函数)

TM租号