* celulele adiacente pot avea maxim un perete despărţitor, definit pentru doar una din celule,
* fiecare celulă de pe margine e despărţită de exterior prin perete,

* între oricare două celule din caroiaj există exact un drum simplu format din paşi pe orizontală şi verticală între celule adiacente şi nedespărţite.

* între oricare două celule din caroiaj există **exact** un drum simplu format din paşi pe orizontală şi verticală între celule adiacente şi nedespărţite.

Fiecare celulă este descrisă de un număr natural pe $4$ biţi, unde biţii adevăraţi descriu, în ordine, existenţa unui perete pe direcţiile sus, dreapta, jos, stânga. De exemplu, numărul $5$ = $0$ $×$ $2^3^$ + $1$ $×$ $2^2^$ + $0$ $×$ $2^1^$ + $1$ $×$ $2^0^$ descrie o celulă cu pereţi doar în dreapta şi stânga.