Cтраница 2
Подобно тому как в общей теории множеств равномощные множества считаются равнозначными, так в теории групп изоморфные группы рассматриваются как несущественно различные. Все понятия и предложения, которые определяются и доказываются на основе соотношений, заданных на некотором множестве, могут быть непосредственно перенесены на любое изоморфное множество. [16]
Легко видеть, что для табл. 2.4 справедливо равенство: варианты пригодность право. В определении соединения не требуется, чтобы R и S имели непустое пересечение. Обычно под декартовым произведением двух отношений понимается множество упорядоченных пар кортежей. Здесь же под декартовым произведением понимается изоморфное множество S-кортежей. [17]