cofiniteVolumeIn

P77193 predicate

Indicates that one space is embedded in another such that the complement has finite measure or volume.

Try in SPARQL

Observed surface forms (1)

Sample triples (2)

Subject Object
modular group PSL(2,Z)
surface form: PSL(2,ℤ)
PSL(2,ℝ) ⓘ
SL(2,ℤ) finite via predicate surface "covolumeInSL2R" ⓘ