喺代數拓樸入邊，對一個拓樸空間可以定義奇異鏈複形，係由啲「由單純形打去嘅連續函數」組成，個鏈複形入邊嘅同態就係睇呢啲函數限制落去啲單純形嘅邊界嗰陣係點。