# Homotopy Type Theory unit interval > history (changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

## Definition

Let

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