intersection of sets

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENintersection of sets

FRintersection d'ensembles

Symbol

⋂_{i = 1}^{n} A_{i}

Notation systems

AsciiMath

nnn_(i=1)^n A_i

LaTeX

\dint_{i = 1}^{n} A_{i}

Definition

intersection of the sets +

$A_{1}, A_{2}, \dots, A_{n}$ +

$⋂_{i = 1}^{n} A_{i} = A_{1} \cap \dots \cap A_{n}$

intersection des ensembles +

$A_{1}, A_{2}, \dots, A_{n}$ +

$⋂_{i = 1}^{n} A_{i} = A_{1} \cap \dots \cap A_{n}$

Notes

The set of elements belonging to all sets $A_{1}, A_{2}, \dots, A_{n}$

$⋂_{i = 1}^{n}$ , $⋂_{i \in I}$ and $⋂_{i \in I}$ are also used,

where $I$ denotes a set of subscripts.

Ensemble des éléments appartenant à la fois à $A_{1}, A_{2}, \dots, A_{n}$

$⋂_{i = 1}^{n}$ , $⋂_{i \in I}$ et $⋂_{i \in I}$ aussi utilisés,

où $I$ est un ensemble d'indices.

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.12

Properties

isq:MathConceptShape

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-6.12
skosxl:prefLabel	"intersection of sets"@en
skosxl:altLabel	"nnn_(i=1)^n A_i"@en
skos:definition	intersection of the sets + stem:[A_1, A_2,..., A_n] + stem:[nnn_(i=1)^n A_i = A_1 cap ... cap A_n]
skos:note	The set of elements belonging to all sets stem:[A_1, A_2, ..., A_n] stem:[nnn_(i=1)^n], stem:[nnn_(i in I)] and stem:[n…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-6

Related Entities

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