代數拓撲一種工具,用嚟定義拓撲空間入面開集嘅資訊。