Metriko en aro M estas bildigo
ke por ĉiuj elementoj a , b , c {\displaystyle a,b,c} de aro M {\displaystyle M} validas: