An Etymological Dictionary of Astronomy and Astrophysics

1. A theorem according to which any side of a triangle is always shorter than the sum of the other two sides.
   

2. The third requirement for a → distance function describing a → metric space.

See also: → triangle; → inequality.