林德勒夫引理 在拓扑学中林德勒夫引理Lindelöfs lemma所阐述的是满足C公理和T公理的空间也满足T公理