cocompact set