Выдержка из книги
Плоткин Б.И.
Универсальная алгебра, алгебраическая логика и базы данных
Подобъекты определяются через мономорфизмы. В частности, база данных 9t ( F, Q, R; U, 3)) есть подбаза базы данных 9Г ( F, Qr, R; U, &), если имеется мономорфизм r: St-St, тождественный на первых трех компонентах.
