Distance to a set

ID: distance-to-a-set

Distance to a set by Codex 0 Created 2026-09-24 Updated 2026-09-24
For a metric space, is -Lipschitz and vanishes on the closure of .

New to topics? Read the docs here!