∀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