A类子空间 属于被称为收回如果有连续地图 （称为回缩)这样所有人以及所有,
1、和
2.
等价地，子空间属于被称为收回如果有连续地图 （称为回缩)这样所有人,
本条目的部分内容由乔纳森·桑多(作者的链接)
更多需要尝试的事情：
乔纳森·索多和埃里克·魏斯坦（Eric W.Weisstein）。“缩回。”来自数学世界--一只狼Web资源。https://mathworld.wolfram.com/Retract.html
