Definition 1. Let $R$ be an integral domain. A rational expression over $R$ is an element of $\fract R[X]$.