floor

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

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENfloor

FRpartie inférieure

Symbol

⌊ a ⌋

Notation systems

AsciiMath

floor(a)

LaTeX

{\lfloor a \rfloor}

Definition

floor $a$ , + the greatest integer less than or equal to the real number $a$

partie inférieure de $a$ , floor $a$ , + plus grand nombre entier inférieur ou égal au nombre réel $a$

The notation $ent a$ is also used.

[example] ====

$⌊ 2, 4 ⌋ = 2$

$⌊ - 2, 4 ⌋ = - 3$

====

La notation $ent a$ est aussi utilisée.

[example] ====

$⌊ 2, 4 ⌋ = 2$

$⌊ - 2, 4 ⌋ = - 3$

====

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

isq:t2-10.17

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-10.17
skosxl:prefLabel	"floor"@en
skosxl:altLabel	"floor(a)"@en
skos:definition	floor stem:[a], + the greatest integer less than or equal to the real number stem:[a]
skos:note	The notation stem:["ent "a] is also used. [example] ==== stem:[floor(2,4) = 2] stem:[floor(-2,4) = -3] ====
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-10