Unter einem simplizialen Komplex auf einer endlichen Menge V {\displaystyle {}V} versteht man eine Ansammlung Δ {\displaystyle {}\Delta } von Teilmengen von V {\displaystyle {}V} , die die Eigenschaft erfüllen, dass für F ∈ Δ {\displaystyle {}F\in \Delta } und E ⊆ F {\displaystyle {}E\subseteq F} auch E ∈ Δ {\displaystyle {}E\in \Delta } gilt.
