set of elements

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENset of elements

FRensemble d'éléments

Symbol

{x \in A ∣ p (x)}

Notation systems

AsciiMath

{x in A ∣ p(x)}

LaTeX

\{ x \in A ∣ p ( x ) \}

Definition

set of those elements of $A$ for which the proposition $p (x)$ is true

ensemble des éléments de $A$ pour lesquels la proposition $p (x)$ est vraie

Notes

[example] ====

{x \in R ∣ x \geq 5}

If it is clear from the context which set $A$ is considered, the notation ${x ∣ p (x)}$ can be used (for example ${x ∣ x \geq 5}$ , if it is clear that real numbers are considered).

Instead of the vertical line often a colon is used as separator:

${x \in A : p (x)}$ . ====

[example] ====

{x \in R ∣ x \geq 5}

Si le contexte permet de savoir clairement quel est l'ensemble $A$ considéré, il est possible d'utiliser la notation ${x ∣ p (x)}$ (par exemple ${x ∣ x \geq 5}$ , s'il est clair que des nombres réels sont considérés).

Au lieu d'une barre verticale, un point-virgule est souvent utilisé comme séparateur:

${x \in A : p (x)}$ . ====

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-6.4

Properties

isq:MathConceptShape

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-6.4
skosxl:prefLabel	"set of elements"@en
skosxl:altLabel	"{x in A ∣ p(x)}"@en
skos:definition	set of those elements of stem:[A] for which the proposition stem:[p(x)] is true
skos:note	[example] ==== [stem%unnumbered] ++++ {x in bb(sf(R)) ∣ x >= 5} ++++ If it is clear from the context which set s…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-6

Related Entities

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