Хммм... Спасибо!
Но мне это не показалось чем-то специальным, можно обойтись и просто неким гомоморфизмом, что бывает моно и биективнфм. Его там называют виртуальным.. но я с одного таки определения не врубился. Наверное, это просто название.
А вот уже понятие
соизмеримости для таких гомоморфизмов мне показалось куда важнее..
С первых строк определения "соизмерности" захотелось поставить это во главу метода.
Но я ещё почитаю... Ещё раз спасибо.
