The first property is simply justif

The first property is simply justified-distance is never taken to be negative by convention and is only zero for two nondistinct points.

ผลลัพธ์ (ไทย) 1:

คุณสมบัติแรกเป็นเพียงชิด-ห่างไม่เคยต้องนำไปเป็นค่าลบ โดยการประชุม และเป็นศูนย์สำหรับ nondistinct สองจุด

ผลลัพธ์ (ไทย) 2:

สถานที่ให้บริการครั้งแรกเป็นเพียงธรรมทางจะไม่นำไปเป็นเชิงลบโดยการประชุมและเป็นเพียงศูนย์สำหรับสองจุด nondistinct

ผลลัพธ์ (ไทย) 3:

คุณสมบัติแรกเป็นเพียงธรรมระยะทางไม่เคยถ่ายจะติดลบ โดยการประชุมและเป็นเพียงศูนย์สอง nondistinct จุด