nonexpansiveness

not defined yet