∀x ∈ R için; x bir tamsayı olduğunda; kendisine dönüştüren, tamsayı olmadığında ise kendisinden büyük olmayan en büyük tamsayıya dönüştüren fonksiyona tam değer fonksiyonu denir. biçiminde gösterilir.


Yani a ∈ Z olmak üzere;



Tam Değer Fonksiyonunun Özelikkleri