複体
有限個の単体の集合 K が、以下の条件を満たす時、K を単体複体であると言う。
a ∈ K かつ c が a の面ならば c ∈ K である。
a, b ∈ K ならば、a ∩ b は空集合でない限り a の面かつ b の面である。