抽象單純復形

抽象單純復形是一個有限非空集合 的集合，滿足如果 是 的一個元素，那麼 的每個非空子集也是 的元素 (Munkres 1993, p. 15)。