Deje $S=\{a_i\}$ ser una contables conjunto de acotado,conectado y cerró los subconjuntos de a $\mathbb R^n$, cada uno de área diferente de cero, tales que cualquiera de los dos $a_i$ $a_j$ es posible que sólo se cruzan en su límite y tales que la unión de todos los a_i cubierta $\mathbb R^n$ (es decir, un suelo de baldosas de $\mathbb R^n$ por una contables conjunto de mosaicos).
Vamos a Un ser la afirmación de que para todas las uniones $T_k$ de cualquier colección de $a_i$'s, no es $a_j$ tal que $a_j$'s de la intersección con la a $T_k$ es el completey límite de $T_k$.(es decir, no azulejo rodear por completo a otro conjunto de mosaicos).
Es Un suficiente para la existencia de un orden (secuencia) de la $a_i$'s tales que cada una de las $a_i$ S aparece exactamente una vez, y para cualquiera de los dos consecutivos $a_i$,$a_j$ en la secuencia que comparten una parte de sus límites?
Hace una secuencia de existir si todas las piezas son iguales hasta rotaciones y traslaciones?