difference of sets

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENdifference of sets

FRdifférence d'ensembles

Symbol

A \ B

Notation systems

AsciiMath

A \\ B

LaTeX

A \ \ B

Definition

difference of $A$ and $B$ , +

$A$ minus $B$

différence de $A$ et de $B$ , +

$A$ moins $B$

Notes

The set of elements which belong to $A$ but not to $B$ .

$A \ B = {x ∣ x \in A \land x \notin B}$

The notation $A - B$ should not be used.

$C_{A} B$ is also used. $C_{A} B$ is mainly used when $B$ is a subset of $A$ , and the symbol $A$ may be omitted if it is clear from the context which set $A$ is considered.

Ensemble des éléments de $A$ n'appartenant pas à $B$ .

$A \ B = {x ∣ x \in A \land x \notin B}$

Il convient de ne pas utiliser la notation $A - B$ .

$C_{A} B$ est aussi utilisé. $C_{A} B$ est surtout utilisé lorsque $B$ est un sous-ensemble de $A$ , et le symbole $A$ peut être omis si le contexte permet de savoir clairement quel est l'ensemble $A$ considéré.

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

Properties

isq:MathConceptShape

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-6.13
skosxl:prefLabel	"difference of sets"@en
skosxl:altLabel	"A \\ B"@en
skos:definition	difference of stem:[A] and stem:[B], + stem:[A] minus stem:[B]
skos:note	The set of elements which belong to stem:[A] but not to stem:[B]. stem:[A \\ B = {x ∣ x in A ^^ x !in B}] The n…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-6

Related Entities

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