Le lemme des Mariages formulé en 1935 par le mathématicien Philip Hall est un énoncé de théorie des ensembles qui peut se décrire en imaginant une société dans laquelle tous les mariages sont décidés de façon centralisée. Il donne une condition nécessaire et suffisante, pour que dans une société strictement monogame où tous les mariages sont décidés par un organisme central, il soit possible de marier tout le monde.
Une application inattendue du lemme des Mariages à un problème d’approximation numérique s’avère pertinente pour l’étude des propriétés statistiques de certains systèmes dynamiques.