위키 홈 Edit Injective relation 2025-09-13 A binary relation RRR is injective if: ∀a,b∈X\forall a,b \in X∀a,b∈X and ∀c∈Y:xRz∧yRz ⟹ x=y\forall c \in Y: xRz \land yRz \implies x = y∀c∈Y:xRz∧yRz⟹x=y.