Half-line - (th: t >= 0), where h is in R^n such that h not= 0 (some state ||h||=1, without loss in generality). Note the half-line is rooted at the origin -- see ray for translation.
