Jabarkan Lambung bebas dari Monoid bebas

Perpotongan submonoids bebas dari monoid bebas A∗ is again free.  Jika  S  adalah himpunan bagian dari monoid bebas  A * maka perpotongan semua submonoid bebas dari  A  * yang mengandung  S  terdefinisi dengan baik, karena  A * sendiri bebas, dan mengandung  S ; itu adalah monoid bebas dan disebut lambung bebas dari S. Basis dari persimpangan ini adalah sebuah kode.

Teorema cacat menyatakan bahwa jika  X  terbatas dan  C  adalah dasar dari lambung bebas  X , maka salah satu  X  adalah kode dan  C  =  X , atau

|C| ≤ |X| − 1 .