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.
→ triangle; → inequality.