# Injective relation

> A binary relation $R$ is **injective** if: $\forall a,b \in X$ and $\forall c \in Y: xRz \land yRz \implies x = y$.

A <binary relation> $R$ is **injective** if: $\forall a,b \in X$ and $\forall c \in Y: xRz \land yRz \implies x = y$.