ISQ
7 / 19
2-8.7

proportional to

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-8.7
Download RDF.jsonld.ttl
https://metanorma.github.io/isq-smart/math/part-2-8/t2-8.7
urn:iso:std:iso:80000:-2:ed-2:en:item:2-8.7
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-8.7
IEC
urn:iec:std:iec:80000-2:2019:::item:2-8.7
Designations
ENproportional to
FRproportionnel à
Symbol
a ~ b
Notation systems
AsciiMath
a ~ b
LaTeX
a \sptilde b

Definition

EN

a is proportional to b

FR

a est proportionnel à b

Notes

EN

The symbol ~ is also used for equivalence relations.

The notation a ∝ b is also used.

FR

Le symbole ~ est aussi utilisé pour les relations d'équivalence.

La notation a ∝ b est aussi utilisée.

Ontology

Class Hierarchy

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

Instance IRI

isq:t2-8.7
PropertyValue
rdf:type
dcterms:identifier
2-8.7
skosxl:prefLabel
"proportional to"@en
skosxl:altLabel
"a ~ b"@en
skos:definition
stem:[a] is proportional to stem:[b]
skos:note
The symbol stem:[~] is also used for equivalence relations. The notation stem:[a prop b] is also used.
smart:hasBindingnessType
dcterms:isPartOf