Let be a Code.
Then is prefix free if
for any
is not a prefix of

Lemma

Every prefix-free code is a Decipherable code.