noun An axiom in Euclidean geometry: given a straight line L and a point p not on L, there exists exactly one straight line parallel to L that passes through p; a variant of this axiom, such that the number of lines parallel to L that pass through p may be zero or more than one.