有理式指可以将多项式A和多项式B用 的形式表示的式子。因为多项式A可以用 表示，所以多项式也可以称为有理式。在有理式中，不是多项式的式子称为分式，有理式包含多项式和分式。[1]
代数式根据它所包含的运算可以分为有理式和无理式，而有理式又可以分为整式和分式。我们把只含有加、减、乘、除和乘方这五种运算的代数式叫做有理代数式，简称有理式。例如 等都是有理式，类似分数的叫法，我们把 这样的代数式叫做分式( )．对于分式，我们规定，分子可以是一个确定的数，也可以是一个式子，但分母却必须是一个含有字母的式子，而不能是一个确定的数。例如 等都是分式，而 等都不是分式。从形式上看，凡是分母中含有字母的有理式叫做有理分式，简称分式，相对于分式，把分母中不含有字母或不包含除法运算的有理式叫做有理整式，简称整式。例如 等都是整式。[2]
含有关于字母开方运算的代数式称为无理式。例如 等。
有关于多项式A，B的分式 ，当 为多项式时，下列式子成立：
另外，关于多项式 下列式子也成立：
分式的分子、分母同时乘以或除以不为0的相同的多项式，分式的值不变。分式的分母和分子除以它们的公约数，使之最简化的过程叫作约分，分式中的约分也和数的约分相同，无法再进行约分的分式叫作最简分式。[1]
如果分式的分母、分子都是单项式，则将分式的分母、分子同时除以公约数，转化成最简分式。如：
如果分式的分母、分子都是多项式，则将分式的分母、分子分解因式后除以公因式，转化成最简分式。如：
使两个以上的分式中的分母相同的过程叫作通分。和分数一样，要将分式进行通分，则需要将分母的最小公倍式转化成分式的公分母，通过比较分数和分式之间的差异来解题，就可以更轻松地得出答案。
例如，要将分式 进行通分，两个分式的分母 的最小公倍式为 ，所以将两式进行通分，可得
从而使两个分式的加减运算变得简便。
与有理数相同，当两个有理式的积为1时，我们把一个式子叫作另一个式子的倒数。例如，有理式 的倒数为 。因此，把除以某个有理式转化为乘以这个有理式的倒数的运算显得更为简单。
例如，计算 时，转化为乘以倒数后再进行计算。
即 。像这样，在计算分式的除法时，根据分数的计算方法进行思考就更简单了。[1]