Миша, а почему вы в http://imperium.lenin.ru/~verbit/MATH/LISTKI/TRIVIUM/ana1.tex в замечании 1.3 написали "метрика"? Оно же выглядит как норма и, вроде бы, написано про норму. Конечно, понятно, как ввести метрику, если есть норма. Это какая-то разговорная традиция?