بحر فضا
ایسا مجموعہ جس میں شامل کسی بھی دو عناصر کے درمیان فاصلہ کا دالہ تعریف ہوا ہو بحر فضا کہلاتا ہے عناصر کو فضا میں نقطے تصور کیا جاتا ہے بعینہ اقلیدسی ہندسہ میں نقطوں کے درمیان فاصلہ بتایا جا سکتا ہے مجموعہ S کے کوئی بھی دو عناصر u اور v کے درمیان فاصلہ فنکشن duv سے دیا جاتا ہے یہ فنکشن اپنے میدان عمل میں ہر دو عناصر نقطوں کے ساتھ ایک غیر منفی عدد فنکشن کا حیطہ جوڑتی ہے اس فنکشن کی درج ذیل خصوصیات ہونا لازمی ہیں 