Petunjuk J.64.1.

Untuk titik \(x\) di luar himpunan berhingga tak kosong \(F\text{,}\) ambil minimum dari daftar berhingga jarak \(d(x,a)\) dengan \(a\in F\text{.}\)
in-context