Дальше подобъекты в А определяются с точностью до изоморфизма в рассматриваемой категории; тогда система подобъ-ектов ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных


Дальше подобъекты в А определяются с точностью до изоморфизма в рассматриваемой категории; тогда система подобъ-ектов в А обозначается Sub А. В категории множеств Sub A отождествляется с множеством всех подмножеств в А.

(cкачать страницу)

Смотреть книгу на libgen

Дальше подобъекты в А определяются с точностью до изоморфизма в рассматриваемой категории;  тогда система подобъ-ектов в А обозначается Sub А.  В категории множеств Sub A отождествляется с множеством всех подмножеств в А.