compactedness

not defined yet