exists

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

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENexists

FRexiste

Symbol

\exists x \in A p (x)

Notation systems

AsciiMath

EE x in A p(x)

LaTeX

\exi x \in A p ( x )

Definition

there exists an $x$ belonging to $A$ for which

$p (x)$ is true

il existe un $x$ appartenant à $A$ pour lequel $p (x)$ est vrai

Notes

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

$\exists$ is the existential quantifier.

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

$\exists^{1} x p (x)$ is used to indicate that there is exactly one element for which $p (x)$ is true.

$\exists!$ is also used for $\exists^{1}$ .

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

$\exists$ est le quantificateur existentiel.

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

$\exists^{1} x p (x)$ est utilisé pour indiquer l'existence d'un élément et d'un seul pour lequel $p (x)$ est vrai.

$\exists!$ est aussi utilisé pour $\exists^{1}$ .

Ontology
isq:MathConcept smart:TermEntry

Class Hierarchy

smart:Entity smart:TermEntryisq:MathConcept

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

Instance IRI

isq:t2-5.7

Properties

isq:MathConceptShape

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

Related Entities

isq:MathConceptShape isq:part-2-5 smart:TermEntry