Variété (algèbre)En algèbre universelle, une variété est une classe équationnelle, c'est-à-dire une classe K non vide de structures algébriques de même signature qui satisfont un ensemble d'identités (appelé axiomatisation équationnelle de la classe). Un monoïde est un ensemble E muni d'une loi interne * associative et d'un élément neutre. Ainsi, pour tous éléments x, y, z d'un monoïde, les équations suivantes sont vérifiées : (x * y) * z = x * (y * z) x * e = x e * x = x De plus, ces trois équations caractérisent la notion de monoïde.
Lotus SoftwareLotus Software (anciennement Lotus Development Corporation avant son acquisition par IBM) est un éditeur de logiciel américain dont le siège social se situe à Cambridge dans le Massachusetts. Lotus est initialement connu pour ses logiciels de bureautique comme le Lotus 1-2-3, tableur populaire lors de l'essor de la micro-informatique. L'entreprise a été fondée en 1982 par Mitch Kapor et Jonathan Sachs. En janvier, elle organise sa conférence annuelle à Lotusphere à Walt Disney World Swan.
Offre groupéeIn marketing, product bundling is offering several products or services for sale as one combined product or service package. It is a common feature in many imperfectly competitive product and service markets. Industries engaged in the practice include telecommunications services, financial services, health care, information, and consumer electronics. A software bundle might include a word processor, spreadsheet, and presentation program into a single office suite.
Section commençanteEn mathématiques, et plus précisément en théorie des ordres, une section commençante (également appelée segment initial ou sous-ensemble fermé inférieurement) d'un ensemble ordonné (X,≤) est un sous-ensemble S de X tel que si x est dans S et si y ≤ x, alors y est dans S. Dualement, on appelle section finissante (ou sous-ensemble fermé supérieurement) un sous-ensemble F tel que si x est dans F et si x ≤ y, alors y est dans F.
