* celulele adiacente pe verticală sau orizontală pot avea maxim un perete despărţitor, definit în reprezentarea uneia din celule,
* fiecare celulă de pe margine are pereţi care despart caroiajul de exterior pe fiecare latură cu exteriorul,

* există exact un drum simplu format din paşi pe orizontală şi verticală între celule adiacente şi nedespărţite de perete pe latura comună, î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 de perete, între oricare două celule din caroiaj.

Fiecare celulă este codificată ca un număr natural pe $4$ biţi, unde biţii adevăraţi denotă, î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^$ denotă o celulă cu pereţi în dreapta şi stânga.