prime-end metric

Мат. метрика простых концов