Attouch--Wets topology (source code)

= Attouch--Wets topology
{c}
{wiki}

Attouch--Wets convergence of closed sets is locally uniform convergence of their distance functions on bounded subsets. Decreasing closed sets converge to their nonempty intersection in this topology.