Definition We have an absolute value ∣x∣ for real numbers, which satisfies ∣x+y∣≤∣x∣+∣y∣, called the triangle inequality.