一般拓扑学基础 张德学 《一般拓扑学基础》 · 第 141 页 · Definition An abstract simplicial complex \(K\) is a family of nonempty subsets of a vertex set \(V\), called simplices, such that \(\{v\}\in K\) for every \(v\in V\), and if \(s\in K\) and \(s'\subset s\), then \(s'\in K\). 查看原书页面
