one-to-one <=> injective