condensedness

not defined yet