Definition (Nonsingular Code)

A code is nonsingular if it is injective as a mapping $$x\not=y\implies \mathcal{C}(x)\not=\mathcal{C(y)}, \ \forall x,y\in\mathcal{X}$$