Cтраница 2
Из определений непосредственно следует, что каждый гомоморфизм i ( v, б): § 1 - § Г индуцирует гомоморфизм моделей. Допустим теперь, что переход / - / задает гомоморфизм моделей б: 3) -, и попытаемся восстановить по нему гомоморфизм баз данных. В качестве VB: R - R естественно взять гомоморфизм, индуцируемый вложением б: V - Vg) ri а vs определяется условием коммутативности соответствующей первой диаграммы. [16]