belonging to

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-5.6

https://metanorma.github.io/isq-smart/math/part-2-5/t2-5.6
urn:iso:std:iso:80000:-2:ed-2:en:item:2-5.6

ISQ Identifiers

ISO

urn:iso:std:iso:80000:-2:ed-2:en:item:2-5.6

IEC

urn:iec:std:iec:80000-2:2019:::item:2-5.6

Designations

ENbelonging to

FRappartenant à

Symbol

\forall x \in A p (x)

Notation systems

AsciiMath

AA x in A p(x)

LaTeX

\forall x \in A p ( x )

Definition

for every $x$ belonging to $A$ , + the proposition $p (x)$ is true

pour tout $x$ appartenant à $A$ , + la proposition $p (x)$ est vraie

If it is clear from the context which set $A$ is considered, the notation $\forall x p (x)$ can be used.

$\forall$ is the universal quantifier.

For $x \in A$ , see belongs to set.

Si le contexte permet de savoir clairement quel est l'ensemble $A$ considéré, il est possible d'utiliser la notation $\forall x p (x)$ .

$\forall$ est le quantificateur universel.

Pour $x \in A$ , voir belongs to set.

A mathematical concept as defined in ISO/IEC 80000 Part 2.

isq:t2-5.6

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-5.6
skosxl:prefLabel	"belonging to"@en
skosxl:altLabel	"AA x in A p(x)"@en
skos:definition	for every stem:[x] belonging to stem:[A], + the proposition stem:[p(x)] is true
skos:note	If it is clear from the context which set stem:[A] is considered, the notation stem:[AA x p(x)] can be used. stem:[AA] …
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-5