# Homotopy Type Theory unit interval > history (Rev #2)

## Definition

Let $R$ be an ordered integral domain. The unit interval is defined as the closed interval $[0, 1]_R$ in $R$.