Traitement des eaux uséesLe traitement des eaux usées est l’ensemble des procédés visant à dépolluer l’eau usée avant son retour dans le milieu naturel ou sa réutilisation. Les eaux usées sont les eaux qui à la suite de leur utilisation domestique, commerciale ou industrielle sont de nature à polluer les milieux dans lesquels elles seraient déversées. C'est pourquoi, dans un souci de protection des milieux récepteurs, des traitements sont réalisés sur ces effluents collectés par le réseau d'assainissement urbain ou privé.
Utilisation des excretavignette|Récolte de poivrons (capsicum) cultivés avec du compost à base d'excréments dans un jardin expérimental en Haïti L'utilisation des excréments ou utilisation des excreta fait ici référence à l'utilisation des excréments animaux et/ou excréments humains, à savoir les matières fécales (ou fèces) et l'urine. Il s'agit de valoriser la matière organique et les nutriments qu'ils contiennent naturellement sous des formes bioassimilables pour les plantes. On en fait des amendement ou des engrais en agriculture, jardinage, aquaculture ou activités horticoles.
Valorisation des déchets en matière plastiquevignette|Déchets banals industriels triés : sacs plastiques en attente d'être transportés pour retraitement. La valorisation des déchets en matière plastique est l’ensemble des opérations dont le but consiste à donner à ces déchets une nouvelle valeur d’usage. La valorisation énergétique consiste à transformer un déchet en énergie thermique et ceci grâce à son potentiel calorifique. Cette énergie est utilisée pour la production de chaleur et/ou d'électricité.
Théorie des ensembles de ZermeloLa théorie des ensembles de Zermelo, est la théorie des ensembles introduite en 1908 par Ernst Zermelo dans un article fondateur de l'axiomatisation de la théorie des ensembles moderne, mais aussi une présentation moderne de celle-ci, où les axiomes sont repris dans le langage de la logique du premier ordre, et où l'axiome de l'infini est modifié pour permettre la construction des entiers naturels de von Neumann. Cette section présente les axiomes originaux de l'article de Zermelo paru en 1908, numérotés comme dans cet article.
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 videvignette|Notation de l'ensemble vide. En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément. L'ensemble vide peut être noté d'un O barré, à savoir ∅ ou simplement { }, qui est une paire d'accolades ne contenant qu'une espace, pour représenter un ensemble qui ne contient rien. La notation ∅ a été introduite par André Weil, dans le cadre de l'institution de notations par le groupe Bourbaki. Von Neumann dans son article de 1923, qui est l'une des premières références qui l'aborde, le note O.
Constructive set theoryAxiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach. On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle (), constructive set theories often require some logical quantifiers in their axioms to be set bounded, motivated by results tied to impredicativity.
Théorie des ensembles de Zermelo-Fraenkelvignette|L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor. L'axiomatisation a été élaborée au début du par plusieurs mathématiciens dont Ernst Zermelo et Abraham Fraenkel mais aussi Thoralf Skolem.
Épuration des eauxthumb|Station d'épuration des eaux à Aguas Corrientes, en Uruguay. L’épuration des eaux est un ensemble de techniques qui consistent à purifier l'eau soit pour réutiliser ou recycler les eaux usées dans le milieu naturel, soit pour transformer les eaux naturelles en eau potable. La fin du marque l'essor des réseaux d'égouttage et d'assainissement en France (courant hygiéniste, rénovation de Paris du baron Haussman). Il s'agit d'éloigner les eaux usées des habitations et des lieux de vie.
Universal setIn set theory, a universal set is a set which contains all objects, including itself. In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set. Many set theories do not allow for the existence of a universal set. There are several different arguments for its non-existence, based on different choices of axioms for set theory. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing itself.
