set equipped with a point-to-subset distance function
סט מצויד בפונקציית מרחק נקודה-ל-תת-קבוצה
aro kune kun distanco-funkcio inter punkto kaj subaro
Approach space