compactness

not defined yet