isNotSimplyConnectedCompactly

P179348
predicate

Indicates that the entity has a topological structure that is compact but not simply connected, meaning it is bounded and closed yet contains nontrivial loops that cannot be continuously contracted to a point.

Sample triples (1)

Subject Object
S^2 × R geometry compact quotients have infinite fundamental group