Fungsi \(d_L\) merupakan metrik pada \(\Sigma^\ast\text{.}\) Urutan kosong memberi identitas, pembalikan operasi memberi simetri, dan penyambungan urutan edit memberi pertidaksamaan segitiga.