#injective #element-to-element #unique assignment