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