===== Ceiling function ===== ==== Function ==== | @#FFBB00: definiendum | @#FFBB00: $ \lceil \ \rceil:\mathbb{R}\to\mathbb{Z}$ | | @#FFBB00: definiendum | @#FFBB00: $ \lceil x \rceil:=\min\,\{n\in\mathbb{Z}\mid n\ge x\} $ | ==== Discussion ==== ==== Parents ==== === Subset of === [[ℤ valued function]], [[Monotonically increasing function]]