proper subset

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENproper subset

FRstrictement inclus

Symbol

B \subset A

Notation systems

AsciiMath

B sub A

LaTeX

B \subset A

Definition

$B$ is properly included in $A$ , +

$B$ is a proper subset of $A$

$B$ est strictement inclus dans $A$ , +

$B$ un sous-ensemble strict de $A$

Notes

Every element of $B$ belongs to $A$ , but at least one element of $A$ does not belong to $B$ .

If $\subset$ is used for included in, then ⊊ shall be used for proper subset.

$A \supset B$ has the same meaning as $B \subset A$ .

Tout élément de $B$ appartient à $A$ , mais au moins un élément de $A$ n'appartient pas à $B$ .

Si $\subset$ est utilisé pour included in, alors ⊊ doit être utilisé pour proper subset.

$A \supset B$ a le même sens que $B \subset A$ .

Referenced by

included in proper subset

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

Properties

isq:MathConceptShape

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-6.8
skosxl:prefLabel	"proper subset"@en
skosxl:altLabel	"B sub A"@en
skos:definition	stem:[B] is properly included in stem:[A], + stem:[B] is a proper subset of stem:[A]
skos:note	Every element of stem:[B] belongs to stem:[A], but at least one element of stem:[A] does not belong to stem:[B]. If ste…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-6

Related Entities

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