Objet libreEn mathématiques, la notion d'objet libre est l'un des concepts de base de l'algèbre générale. Elle appartient à l'algèbre universelle, car elle s'applique à tous les types de structures algébriques (avec des opérations finitaires). Elle se formule plus généralement dans le langage de la théorie des catégories : le foncteur « objet libre » est l'adjoint à gauche du foncteur d'oubli. Des exemples d'objets libres sont les groupes libres, les groupes abéliens libres, les algèbres tensorielles...
Univers du discoursL’univers du discours ou domaine du discours, désigne, en logique, et plus spécialement dans le calcul des prédicats, l'ensemble (ou la classe) des entités qui est parcouru par les quantificateurs. Du point de vue de la théorie des modèles (sémantique), il s'agit de l'ensemble de base d'une structure d'interprétation. Le terme "univers du discours" se réfère généralement à tout ensemble de termes utilisés dans un discours spécifique, c.à.d une famille de termes linguistiques ou sémantiques spécifiques au domaine concerné.
Expression (mathématiques)In mathematics, an expression or mathematical expression is a finite combination of symbols that is well-formed according to rules that depend on the context. Mathematical symbols can designate numbers (constants), variables, operations, functions, brackets, punctuation, and grouping to help determine order of operations and other aspects of logical syntax. Many authors distinguish an expression from a formula, the former denoting a mathematical object, and the latter denoting a statement about mathematical objects.
