Cтраница 1
Отношения R-мономорфизма и R-униморфизма рефлексивны, транзитивны, но, в общем случае, не симметричны. [1]
Нумерованное множество А R-мономорфно множеству В, если существует R-мономорфизм А на В. А R-эквивалентно В, если существует R-экви-валентность А на В. [2]
Ясно, что каждый R-униморфизм есть в то же время и R-мономорфизм, и потому каждый R-изоморфизм является и R-эквивалентностью. В частности, из R-изоморфизма множеств заведомо следует их R-эквивалентность. Кроме того, отношения R-изоморфизма и R-эквивалентности рефлексивны, симметричны и транзитивны. [3]
R-мономорфизм 4 на В будет называться R-эквивалентностью А на В, если обратное отображение В на А есть также Д - мономорфизм. [4]
Эквивалентность 6а на 9t / o тогда и только тогда есть - отношение, когда - отношением на 91 является конгруэнтность а. Если ф есть R-гомоморфизм 9t на нумерованную алгебру 35, то канонический изоморфизм M / G на 95 есть R-мономорфизм. [5]