切除同构

excision isomorphism