In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations, and relations that are defined on it. ###>En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble.