👤¹→✅¹👤²→✅²

#injective #unique output #distinct inputs #function property #one-to-one #verified mapping