## Definition ## Let $R$ be an [[ordered integral domain]]. The __unit interval__ is defined as the [[closed interval]] $[0, 1]_R$ in $R$. ## See also ## * [[closed interval]] * [[infinite decimal representation of a unit interval]].