in topology, an operation that reduces a simplicial complex (or a CW complex) to a homotopy-equivalent subcomplex