injective hyperconvex one-to-one bijective faithful one-on-one non-singular antidirected univalent surjunctive