ISQ
18 / 22
2-10.18

ceil

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-10.18
Download RDF.jsonld.ttl
https://metanorma.github.io/isq-smart/math/part-2-10/t2-10.18
urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.18
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.18
IEC
urn:iec:std:iec:80000-2:2019:::item:2-10.18
Designations
ENceil
FRpartie supérieure
Symbol
⌈ a ⌉
Notation systems
AsciiMath
ceil(a)
LaTeX
{\lceil a \rceil}

Definition

EN

ceil a , + the least integer greater than or equal to the real number a

FR

partie supérieure de a , ceil a , + plus petit nombre entier supérieur ou égal au nombre réel a

Notes

EN

"ceil" is an abbreviation of the English word "ceiling".

[example] ====

⌈ 2 , 4 ⌉ = 3

⌈ − 2 , 4 ⌉ = − 2

====

FR

«ceil» est une abréviation du mot anglais «ceiling».

[example] ====

⌈ 2 , 4 ⌉ = 3

⌈ − 2 , 4 ⌉ = − 2

====

Ontology

Class Hierarchy

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

Instance IRI

isq:t2-10.18
PropertyValue
rdf:type
dcterms:identifier
2-10.18
skosxl:prefLabel
"ceil"@en
skosxl:altLabel
"ceil(a)"@en
skos:definition
ceil stem:[a], + the least integer greater than or equal to the real number stem:[a]
skos:note
"ceil" is an abbreviation of the English word "ceiling". [example] ==== stem:[ceil(2,4) = 3] stem:[ceil(-2,4) = -2] ==…
smart:hasBindingnessType
dcterms:isPartOf