Haute tensionLa haute tension est un terme qui caractérise, selon des normes européennes, les valeurs de la tension électrique supérieures à en courant alternatif et en courant continu. En France, on distingue deux domaines de hautes tensions : le domaine haute tension A (ou HTA)), concerne les installations électriques dans lesquelles la tension : excède sans dépasser en courant alternatif, ou excède sans dépasser en courant continu ; le domaine haute tension B (ou HTB) concerne les installations électriques dans lesquelles la tension : excède en courant alternatif, ou excède en courant continu.
Topologie d'AlexandroffEn mathématiques, une topologie d'Alexandroff est une topologie pour laquelle l'intersection d'une famille quelconque d'ouverts est un ouvert (et pas seulement l'intersection d'une famille finie d'ouverts). Cette notion a été introduite en 1937 par Pavel Alexandroff. Un espace topologique vérifie cette propriété si et seulement si sa topologie est cohérente avec ses sous-, c'est pourquoi un tel espace est aussi appelé espace finiment engendré. Les topologies d'Alexandroff sur un ensemble X sont en bijection avec les préordres sur X.
Interior algebraIn abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and ordinary propositional logic. Interior algebras form a variety of modal algebras. An interior algebra is an algebraic structure with the signature ⟨S, ·, +, ′, 0, 1, I⟩ where ⟨S, ·, +, ′, 0, 1⟩ is a Boolean algebra and postfix I designates a unary operator, the interior operator, satisfying the identities: xI ≤ x xII = xI (xy)I = xIyI 1I = 1 xI is called the interior of x.
