\begin{definition}[Definition:Imperial/Length/League]
The '''league''' is an imperial unit of length.
{{begin-eqn}}
{{eqn | o = 
      | r = 1
      | c = '''league'''
}}
{{eqn | o = 
      | r = 3
      | c = (international) miles
}}
{{eqn | r = 5280
      | c = yards
}}
{{eqn | o = \approx
      | r = 2
      | c = leuca
}}
{{eqn | o = \approx
      | r = 3000
      | c = paces
}}
{{eqn | r = 4828 \cdotp 032
      | c = metres (exactly)
}}
{{end-eqn}}
\end{definition}