hygroexpansivity
not defined yet