Simplicial subcomplex (source code)

= Simplicial subcomplex

= Subcomplex
{synonym}

A simplicial subcomplex $L\subseteq K$ is a subfamily that is itself a <simplicial complex>. In particular, every face of a simplex in $L$ also lies in $L$.