cocompact (compact + co-; together_joint)
Having a compact quotient space