not belong to

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENnot belong to

FRn'appartient pas à

Symbol

y \notin A

Notation systems

AsciiMath

y !in A

LaTeX

y \nin A

Definition

$y$ does not belong to $A$ , +

$y$ is not an element of the set $A$

$y$ n'appartient pas à $A$ , +

$y$ n'est pas un élément de l'ensemble $A$

$A ∌ y$ has the same meaning as latexmath:[y \notin A].

The negating stroke may also be vertical.

$A ∌ y$ a le même sens que latexmath:[y \notin A].

La barre de négation peut aussi être verticale.

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

isq:t2-6.2

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-6.2
skosxl:prefLabel	"not belong to"@en
skosxl:altLabel	"y !in A"@en
skos:definition	stem:[y] does not belong to stem:[A], + stem:[y] is not an element of the set stem:[A]
skos:note	stem:[A" "∌" "y] has the same meaning as latexmath:[y \notin A]. The negating stroke may also be vertical.
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-6