In hyperbolic geometry, two lines are said to be ultraparallel if they do not intersect and are not limiting parallel.
The ultraparallel theorem states that every pair of (distinct) ultraparallel lines has a unique common perpendicular (a hyperbolic line which is perpendicular to both lines).