Un pavage ou dallage est une partition d’un espace (généralement un espace euclidien comme le plan ou l’espace tridimensionnel) par des éléments d'un ensemble fini, appelés tuiles (plus précisément, ce sont des compacts d’intérieur non vide). Généralement, on considère des pavages par translations, c’est-à-dire que deux mêmes tuiles du pavage sont toujours déductibles l’une de l’autre par une translation (à l’exclusion des rotations ou symétries). Il existe aussi des pavages d’espaces non euclidiens, les plus célèbres étant sans doute les nombreux pavages de M.C. Escher .