admitsCompactQuotients

P179347
predicate

Indicates that the given object (typically a space or structure) has at least one quotient by a suitable equivalence relation or group action that is compact.

Try in SPARQL

Sample triples (1)

Subject Object
S^2 × R geometry true ⓘ