An abstract simplicial complex is a collection S of finite nonempty sets such that if A is an element of S, then so is every nonempty subset of A.