同調的

令 表示一個 鏈復形，下面顯示了它的一部分

令 表示第 個 同調群。那麼，如果兩個 同調圈 的差是一個 邊界，即如果 ，則稱它們是同調的。