n. the alternative formulation of the parallel postulate, the fifth of Euclid's axioms, as the assertion that through a point not on a given line there is one and only one line parallel to the given line.