unexpansiveness

not defined yet