分式的定义是什么