抽象单形

对于一个以 A 为顶点集的抽象复形 𝓚，复形 𝓚 中的元素称为复形 𝓚 的抽象单形。