Pro každé reálné číslo x je dolní celá část definována jako největší celé číslo, které je menší nebo rovno x.