Co-H-空间

X 的基本群的底层集合是基于点的从圆到 的同伦类的集合，记作 。对于一般空间 和 ， 上没有自然的群结构，但是当存在自然的群结构时， 被称为 co--空间。