Cтраница 1
Два элемента множества, объединенные согласно некоторому классификационному принципу. [1]
Два элемента множества X считаем тождественными между собой, если они состоят из одинаковых элементов множества А и порядок расположения их совпадает. [2]
X соответствуют два элемента множества. [3]
Из этого предложения непосредственно следует, что если два элемента множества М входят в несколько нормальных частей, то их взаимный порядок во всех этих частях одинаков. [4]
Единственная функция из G, переводящая более чем два элемента множества С в себя, есть тождественная функция. [5]
Это сводится к проверке того, что если Аь / г2 - два элемента множества Я, то и hi Л2 принадлежит Я. [6]
Множество Е регулярных элементов множества Е, снабженного ассоциативным законом Т, устойчиво относительно Т, так как если два элемента множества Е регулярны, то и их композиция регулярна. [7]
Более общо, если абелева группа, являющаяся прямым произведением циклических групп порядка 2, действует на конечном множестве, то квантовый алгоритм определяет, t лежат ли два элемента множества на одной орбите действия этой группы. По-видимому, открытым вопросом является возможность решения этой задачи квантовым алгоритмом над конечным полем произвольной характеристики, т.е. когда абелева группа имеет более общий вид, нежели описано выше. [8]
Заметим, что, как и ранее, каждому элементу множества X соответствует один, и только один элемент множества Y, однако обратное уже неверно: каждому элементу из Y соответствуют ровно два элемента множества X. В математике говорят: на множестве X задана функция, не имеющая обратной функции. Геометрически это означает, что на каждой вертикали имеется один затемненный кружок, на каждой горизонтали - два. В связи с этим по горизонталям несколько изменятся правила экстраполирования. [9]
S есть элемент из S и каждые конъюнкция, дизъюнкция, импликация и эквиваленция двух любых элементов множества S является элементом из S. Поскольку было условлено, что два элемента множества S будут считаться неразличимыми, если они дают одинаковые истинностные функции ( это отношение eq для формул), и поскольку было показано, что каждая формула эквивалентна такой, в которой нет других связок, кроме не и и, мы можем принять ( и примем), что S есть просто замыкание множества 50 по отношению к этим связкам. [10]
Поскольку элементами множества Л - являются упорядоченные пары, то можно сказать, что отношение есть множество упорядоченных пар. Так как каждая пара связывает между собой только два элемента множества А 2, то такое отношение иногда называют бинарным. [11]