Положим, одной метрикой реализацию зафиксировать и правда нельзя. Но можно попытаться дополнительно навводить ещё какой-нибудь ерунды и, возможно, добиться этой самой, которая единственность. Что это даст?
Во-первых, ничего не даст, во-вторых, и ерунды особо навводить нельзя, если только не иметь в виду нечто совершенно натужное. Даже если вы вложили что-то в
-мерие, его в свою очередь можно вложить в
-мерие, а там хоть сворачивай в трубочку.
-- 04.10.2013 21:37:43 --Кстати, в определении вложения римановость не участвует.
Кстати, вложений существует куча разных (некоторые из них называются погружениями), и определений у них, разумеется, не одно на всех.