# Half-line

### From Glossary

A half-line is a collection of points of the form , where is
in such that (some state
, without loss in generality). Note the half-line is
*rooted* at the origin -- see ray for translation.

A half-line is a collection of points of the form , where is
in such that (some state
, without loss in generality). Note the half-line is
*rooted* at the origin -- see ray for translation.