ISQ
3 / 18
2-6.3

set with elements

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-6.3
Download RDF.jsonld.ttl
https://metanorma.github.io/isq-smart/math/part-2-6/t2-6.3
urn:iso:std:iso:80000:-2:ed-2:en:item:2-6.3
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-6.3
IEC
urn:iec:std:iec:80000-2:2019:::item:2-6.3
Designations
ENset with elements
FRensemble dont les éléments
Symbol
{ x 1 , x 2 , … , x n }
Notation systems
AsciiMath
{x_1, x_2, ..., x_n}
LaTeX
\{ x_{1} , x_{2} , \ldots , x_{n} \}

Definition

EN

set with elements x 1 , x 2 , … , x n

FR

ensemble dont les éléments sont x 1 , x 2 , … , x n

Notes

EN

Also { x i ∣ i ∈ I } , where I denotes a set of subscripts.

FR

S'écrit aussi { x i ∣ i ∈ I } , où I est un ensemble d'indices.

Ontology

Class Hierarchy

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

Instance IRI

isq:t2-6.3
PropertyValue
rdf:type
dcterms:identifier
2-6.3
skosxl:prefLabel
"set with elements"@en
skosxl:altLabel
"{x_1, x_2, ..., x_n}"@en
skos:definition
set with elements stem:[x_1, x_2, ..., x_n]
skos:note
Also stem:[{x_i ∣ i in I}], where stem:[I] denotes a set of subscripts.
smart:hasBindingnessType
dcterms:isPartOf