Definition:Elevated/Line

Theorem
Let $P$ be a plane.

An elevated line (relative to $P$) is a line in space which does not lie entirely in $P$.