闭复形

closed complex