Энциклопедический словарь, 1998 г.
ДРОБНАЯ ЧАСТЬ числа х разность между этим числом и его целой частью [x], т.е. {x} = x - [x]; всегда 0 ? {x} 1.
Википедия
Дробная часть числа — кусочно-линейная функция , определённая на вещественных числах x и равная разности между x и целой частью ⌊x⌋ числа x.
Дробная часть числа х обычно обозначается знаком {x}. Согласно определению, {x} = x − ⌊x⌋.