A homotopy complementation formula for partially ordered sets
geometric realization of simplicial complex
scientific article; zbMATH DE number 3801598