二〇〇七年一二月七日（五）二〇時四一分審纂 Wshun~zh-classicalwiki（議｜勛）九九七筆編輯細 →‎性 ←前辨		二〇〇七年一二月七日（五）二一時〇三分審纂悔 Wshun~zh-classicalwiki（議｜勛）九九七筆編輯細 →‎性後辨→
第一一行：緊集之交，緊集也。若干緊集之並，緊集也。緊集之直積，緊集也。此乃[[吉洪諾夫定理]]，等價[[選擇公理]]。<ref>欲證若干緊集之並為緊，則毋須選擇公理也耳。</ref> 緊集之閉子集，緊集也。

「緊集」：各本之異