norm-decreasing isomorphism

Мат. уменьшающий норму изоморфизм