Moment magnétiqueEn physique, le moment magnétique est une grandeur vectorielle qui permet de caractériser l'intensité d'une source magnétique. Cette source peut être un courant électrique, ou bien un objet aimanté. L'aimantation est la distribution spatiale du moment magnétique. Le moment magnétique d'un corps se manifeste par la tendance qu'a ce corps à s'aligner dans le sens d'un champ magnétique, c'est par exemple le cas de l'aiguille d'une boussole : le moment que subit l'objet est égal au produit vectoriel de son moment magnétique par le champ magnétique dans lequel il est placé.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Étoile blanche de la séquence principaleEn astronomie, une étoile blanche de la séquence principale est une étoile de type spectral A et de classe de luminosité V. Ce type d'étoiles ne doit pas être confondu avec les naines blanches, qui sont des résidus d'étoiles de faible masse. Les étoiles blanches de la séquence principale, comme leur nom l'indique, sont des étoiles de la séquence principale (classe de luminosité V dans la classification MKK), dont l'énergie provient de la fusion de leur hydrogène en hélium.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
