belongs to set

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENbelongs to set

FRappartenant à l'ensemble

Symbol

x \in A

Notation systems

AsciiMath

x in A

LaTeX

x \in A

Definition

$x$ belongs to $A$ , +

$x$ is an element of the set $A$

$x$ appartient à $A$ , +

$x$ est un élément de l'ensemble $A$

$A & # 8715; x$ has the same meaning as $x \in A$ .

$A & # 8715; x$ a le même sens que $x \in A$ .

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

isq:t2-6.1

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-6.1
skosxl:prefLabel	"belongs to set"@en
skosxl:altLabel	"x in A"@en
skos:definition	stem:[x] belongs to stem:[A], + stem:[x] is an element of the set stem:[A]
skos:note	stem:[A" "∋" "x] has the same meaning as stem:[x in A].
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-6