真分数的定义