Ensemblevignette|Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles. Dans une approche axiomatique, la théorie des ensembles est une théorie de l'appartenance (un élément d'un ensemble est dit « appartenir » à cet ensemble).
Ensemble flouLa théorie des sous-ensembles flous est une théorie mathématique du domaine de l’algèbre abstraite. Elle a été développée par Lotfi Zadeh en 1965 afin de représenter mathématiquement l'imprécision relative à certaines classes d'objets et sert de fondement à la logique floue. Les sous-ensembles flous (ou parties floues) ont été introduits afin de modéliser la représentation humaine des connaissances, et ainsi améliorer les performances des systèmes de décision qui utilisent cette modélisation.
Ensembles disjointsvignette|Trois ensembles disjoints En mathématiques, deux ensembles sont dits disjoints s'ils n'ont pas d'éléments en commun. Par exemple, et sont deux ensembles disjoints. De manière formelle, deux ensembles A et B sont disjoints si leur intersection est l'ensemble vide, c'est-à-dire si (Dans le cas contraire, on dit que A et B « se rencontrent ».) Cette définition s'étend à une famille d'ensembles. Les ensembles d'une famille sont dits disjoints deux à deux ou mutuellement disjoints si deux ensembles quelconques de cette famille sont disjoints.
Family of setsIn set theory and related branches of mathematics, a collection of subsets of a given set is called a family of subsets of , or a family of sets over More generally, a collection of any sets whatsoever is called a family of sets, set family, or a set system. A family of sets may be defined as a function from a set , known as the index set, to , in which case the sets of the family are indexed by members of .
Inclusion (mathématiques)En mathématiques, l’inclusion est une relation d'ordre entre ensembles. On dit qu'un ensemble A est inclus dans un ensemble B si tous les éléments de A sont aussi éléments de B. On dit dans ce cas que A est un sous-ensemble ou une partie de B, ou encore que B est sur-ensemble de A. Cette relation n'est pas symétrique a priori, car il peut y avoir des éléments du deuxième ensemble qui n'appartiennent pas au premier. Plus précisément, il y a inclusion dans les deux sens entre deux ensembles si et seulement si ces deux ensembles sont égaux.
Catégorie des ensemblesEn mathématiques, plus précisément en théorie des catégories, la catégorie des ensembles, notée Set ou Ens, est la catégorie dont les objets sont les ensembles, et dont les morphismes sont les applications d'un ensemble dans un autre. Sa définition est motivée par le fait qu'en théorie des ensembles usuelle, il n'existe pas d'« ensemble de tous les ensembles », car l'existence d'un tel objet résulterait en une contradiction logique : le paradoxe de Russell.
Théorie des ensembles approximatifsThéorie des ensembles approximatifs – est un formalisme mathématique proposé en 1982 par le professeur Zdzisław Pawlak. Elle généralise la théorie des ensembles classique. Un ensemble approximatif (anglais : rough set) est un objet mathématique basé sur la logique 3 états. Dans sa première définition, un ensemble approximatif est une paire de deux ensembles : une approximation inférieure et une approximation supérieure. Il existe également un type d'ensembles approximatifs défini par une paire d'ensembles flous (anglais : fuzzy set).
Union (mathématiques)Dans la théorie des ensembles, l'union ou réunion est une opération ensembliste de base. En algèbre booléenne, l'union est associée à l'opérateur logique ou inclusif et est notée ∪. L'union de deux ensembles A et B est l'ensemble qui contient tous les éléments qui appartiennent à A ou appartiennent à B. On la note A ∪ B et on la dit « A union B » Formellement : Par exemple l'union des ensembles A = {1, 2, 3} et B = {2, 3, 4} est l'ensemble {1, 2, 3, 4}.
Algèbre des parties d'un ensembleEn théorie des ensembles, l'ensemble des parties d'un ensemble, muni des opérations d'intersection, de réunion, et de passage au complémentaire, possède une structure d'algèbre de Boole. D'autres opérations s'en déduisent, comme la différence ensembliste et la différence symétrique. L'algèbre des parties d'un ensemble étudie l'arithmétique de ces opérations (voir l'article « Opération ensembliste » pour des opérations qui ne laissent pas stable l'ensemble des parties d'un ensemble).
Diagramme de Vennvignette|Diagramme de Venn montrant quels glyphes en majuscules sont partagés par l'alphabet grec, latin et russe. Un diagramme de Venn (également appelé diagramme logique) est un diagramme qui montre toutes les relations logiques possibles dans une collection finie de différents ensembles. Les diagrammes de Venn ont été conçus autour de 1880 par John Venn. Ils sont utilisés pour enseigner la théorie des ensembles élémentaires, ainsi que pour illustrer des relations simples en probabilité, logique, statistiques, linguistique et en informatique.
Algèbre d'ensemblesLe concept intervient dans l'exposition des bases de la théorie de la mesure, sous des noms assez variés dans les sources en français : outre algèbre d'ensembles, et sa variante corps d'ensembles, on trouve aussi algèbre de Boole de parties, ou plus brièvement algèbre de Boole, voire simplement algèbre, et encore anneau booléen unitaire ou clan unitaire. Cette définition évoque celle d'une tribu ; en les rapprochant on constate immédiatement qu'un ensemble de parties d'un ensemble est une tribu si et seulement si c'est une algèbre d'ensembles stable par réunion dénombrable.
Égalité (mathématiques)vignette|"Signe égal" exprimant l'égalité entre deux expressions. En mathématiques, l’égalité est une relation binaire entre deux objets signifiant que ces objets sont identiques, c’est-à-dire que le remplacement de l’un par l’autre dans une expression ne change jamais la valeur de cette dernière. Une égalité est une proposition pouvant s’écrire à l’aide du signe égal « = », séparant deux expressions mathématiques de même nature (nombres, vecteurs, fonctions, ensembles...) ; la négation de cette proposition s’écrit à l’aide du symbole « ≠ ».
Égalité socialeL'égalité sociale est un concept juridique et philosophique. Il découle du principe d'égalité, qui apparaît en tête des deux grandes déclarations des droits de l'homme (déclaration de 1789 en France, et déclaration universelle des droits de l'homme de 1948). Celui-ci revêt deux aspects principaux : l'égalité civile, c'est-à-dire l'égalité devant la loi ; l'égalité sociale, c'est-à-dire la recherche de l'égalité des droits sociaux.
Diagramme d'Eulerdroite|vignette|upright=1.5|lang=fr|Un diagramme d'Euler illustrant que l'ensemble des « animaux à quatre pattes » est un sous-ensemble des « animaux », mais l'ensemble des « minéraux » est disjoint (il n'a pas de membres en commun) avec « animaux ».|lien=Fichier:EulerDiagram.svg%3Flang=fr Un diagramme d'Euler est un moyen de représentation diagrammatique des ensembles et des relations en leur sein. La première utilisation des « cercles Eulériens » est communément attribuée au mathématicien suisse Leonhard Euler (1707-1783).
Diagrammethumb|240px|Diagramme circulaire ou « camembert » Un diagramme est une représentation visuelle simplifiée et structurée des concepts, des idées, des constructions, des relations, des données statistiques, de l'anatomie employé dans tous les aspects des activités humaines pour visualiser et éclaircir la matière. Un diagramme permet aussi de décrire des phénomènes, de mettre en évidence des corrélations en certains facteurs ou de représenter des parties d’un ensemble, au moyen de tracés qui prennent le plus souvent la forme de figures géométriques.
Égalité des sexesthumb|upright|Un des symboles représentant l'égalité des sexes. L'égalité des sexes, aussi connue sous les termes d'égalité des genres, est le principe selon lequel les femmes et les hommes doivent recevoir un traitement égal et ne doivent pas être victimes de discriminations basées sur leur appartenance à l'un ou l'autre genre, hormis les cas où une différence de traitement serait médicalement fondée, comme dans le sport par exemple.
Égalité devant la loiL’égalité devant la loi ou égalité en droit est le principe selon lequel tout être humain doit être traité de la même façon par la loi (principe d’isonomie). Aucun individu ou groupe d'individus ne doit donc avoir de privilèges garantis par la loi. Le principe d'égalité devant la loi trouve son origine dans le principe d'isonomie défini par Clisthène au , et qui constituait l'un des fondements de la démocratie athénienne. Grâce à ce principe, Clisthène a mis en œuvre des réformes en 508 et 507 av. J.-C.
John Vennvignette|Le Venn Building, université de Hull. John Venn (1834-1923) est un mathématicien et logicien britannique. Il est renommé pour avoir conçu les diagrammes de Venn, qui sont employés dans beaucoup de domaines, notamment en théorie des ensembles, en probabilité, en logique, en statistique et en informatique. John Venn a présenté les diagrammes portant son nom en 1881. En 1883, il est élu membre de la Royal Society. Il a aussi rédigé en partie l’Alumni Cantabrigienses. John Venn est né dans le Yorkshire.
Ensemble maigreEn topologie, dans le contexte des espaces de Baire, un ensemble maigre (on dit aussi de première catégorie) est une partie d'un espace de Baire qui, en un sens technique, peut être considérée comme de taille infime. Un ensemble comaigre est le complémentaire d'un ensemble maigre. Une partie qui n'est pas maigre est dite de deuxième catégorie. Un sous-ensemble d'un espace topologique E est dit maigre lorsqu'il est contenu dans une réunion dénombrable de fermés de E qui sont tous d'intérieur vide.
Equality of outcomeEquality of outcome, equality of condition, or equality of results is a political concept which is central to some political ideologies and is used in some political discourse, often in contrast to the term equality of opportunity. It describes a state in which all people have approximately the same material wealth and income, or in which the general economic conditions of everyone's lives are alike.
