Un pavage du plan est un ensemble de portions du plan, par exemple des polygones, dont l'union est le plan tout entier, sans recouvrement. Plus précisément, c'est une partition du plan euclidien par des éléments d'un ensemble fini, appelés « carreaux » (plus précisément, ce sont des compacts d’ intérieur non vide).