Pour un groupe G résiduellement fini et de type fini, un box space de G est une suite
1) Si un box space arithmétique a
2) Si la suite d'entiers qui définit les sous-groupes de congruence est supportée sur un ensemble fini de nombres premiers, le box space arithmétique correspondant a
3) Il existe des box spaces arithmétiques qui n'ont la propriété