Tìm hiểu trên Internet, bạn Minh được biết một con voi trưởng thành nặng khoảng 5 000 kg, một con hổ trưởng thành nặng khoảng 200 kg, một con tê giác đen trưởng thành nặng khoảng 450 kg. Để biểu thị cân nặng của con voi hơn tổng cân nặng của cả con hổ và con tê giác đen, bạn Minh đã viết: 5 000 > 200 + 450. Hệ thức dạng 5 000 > 200 + 450 gợi nên khái niệm gì trong toán học?