noun
: a postulate in geometry: if a straight line incident on two straight lines make the sum of the angles within and on the same side less than two right angles the two straight lines being produced indefinitely meet one another on whichever side the two angles are less than the two right angles — called also parallel axiom