inducedSubcomplex(Delta, V)
Given a simplicial complex $\Delta$ and a subset $V$ of its vertices, the induced subcomplex is the abstract simplicial complexes consisting of all faces in $\Delta$ whose vertices are contained in $V$.






As a special case, we can consider induced subcomplexes of the void and irrelevant complexes.





