Processing math: 50%

Ceiling function

Function

definiendum  :RZ
definiendum x:=min

Discussion

Parents

Subset of

ℤ valued function, Monotonically increasing function