 Simplicial subcomplex

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$.