Словарь логики

— логико-математические понятия, выражающие уподобление гомоморфизм( либо одина­ковость (изоморфизм) строения систем. Две системы А и В назы­ваются изоморфными, если между их элементами, а также функ­циями, свойствами и отношениями, имеющими смысл для этих систем, существует или может быть установлено взаимно-одно­значное соответствие. Для изоморфных систем A и В выполняются следующие условия: 1) каждому элементу о из A соответствует единственный элемент b из В, и наоборот; 2) каждой функции f, определенной на элементах А и принимающей значения в А, со­ответствует единственная функция g, определенная на элементах В, и наоборот; 3) каждому свойству Р, которым обладают к.-л. элементы системы А, соответствует взаимно-однозначное свой­ство элементов В, и наоборот. Ослабление перечисленных усло­вий, скажем, требование взаимно-однозначного соответствия толь­ко в одну сторону, приводит к более общему, но и более слабому отношению Г. Изоморфный образ полностью воспроизводит ото­бражаемую систему, напр., зеркальное отображение изоморфно отображаемому предмету, схема радиоприемника изоморфна са­мому приемнику. Гомоморфный образ лишь отчасти похож на свой оригинал, напр., карта местности воспроизводит лишь некото­рые черты этой местности, перевод языкового текста лишь отчас­ти похож на оригинал. Всякий И. есть Г., но не наоборот.