独立亲同调子图

设Ｋ是一个复形，Ｌ是Ｋ的一个子复形。如果所有从Ｌ的同调群到Ｋ的同调群的包含同态ｉ：Ｈｑ（Ｌ，Ｊ）→Ｈｑ（Ｋ，Ｊ）（ｑ≥０，Ｊ是整数解）都是同构，则称复形Ｋ同它的子复形Ｌ亲同调。对一个图Ｇ及其去边子图Ｆ，如果Ｆ的独立集复形Ｉ与Ｇ的独立集复形Ｉ（Ｇ）亲同调，则称图Ｇ与其子图Ｆ独立亲同调。