Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Câble électrique à haute tensionUn câble électrique à haute tension est un câble utilisé pour le transport d'électricité, que ce soit en courant alternatif ou en courant continu. Il est composé de différentes parties assemblées de manière concentrique, les principales sont : au centre un conducteur permet de transporter l'électricité, ensuite vient une isolation électrique pour empêcher le courant de s'écouler vers la terre, le tout est entouré d'une gaine métallique afin de confiner le champ électrique à l'intérieur du câble et d'une protection extérieure qui assure de bonnes propriétés mécaniques et le protège des agressions extérieures.
Théorie naïve des ensemblesLes ensembles sont d'une importance fondamentale en mathématiques ; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles. Il y a plusieurs façons de développer la théorie des ensembles et plusieurs théories des ensembles existent. Par théorie naïve des ensembles, on entend le plus souvent un développement informel d'une théorie des ensembles dans le langage usuel des mathématiques, mais fondée sur les axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel avec axiome du choix dans le style du livre Naive Set Theory de Paul Halmos.
Partition d'un ensemblevignette|Les 52 partitions d'un ensemble à 5 éléments. Les points noirs représentent les éléments de l'ensemble. Une région colorée correspond à un bloc de la partition qui regroupe plusieurs points noirs. Un point noir isolé signifie que cet élément appartient à un bloc qui est un singleton. En mathématiques, une partition d'un ensemble X est un ensemble de parties non vides de X deux à deux disjointes et dont l'union est X. Soit un ensemble X.
