شبه متریک

فرض کنیم X مجموعه ای دلخواه باشد. تابع d: X*X -→R را یک شبه متریک روی X می نامیم هرگاه شرایط زیر برقرار باشد.تعریف شبه متریک: