Символы и обозначения

      В данной работе используются следующие символы и обозначения (также указана ссылка на раздел, где они впервые введены):

 

{ a, b, c} - множество, в скобках перечислены элементы множества   2.1.A.

{}              - пустое множество   2.1.A.

∈              - содержится [принадлежность элемента множеству]   2.1.A.

∉              - не содержится   2.1.A.

⊂              - принадлежность [всех элементов одного множества другому]   2.1.A.

=               - состоит из одного и того же множества элементов   2.1.A.; результат                                         отображения   2.1.F.; тождество

–               - вычитание [одного множества из другого]   2.1.B.

¬              - дополнение множества   2.1.B.

⇒             - импликация   2.1.C.

⇔            - взаимная импликация 2.1.C.

∃              - квантор: существует по меньшей мере один элемент …    2.1.D.

∀              - квантор: каждый элемент …    2.1.D.

∪              - объединение множеств   2.1.E.

∩              - пересечение множеств   2.1.E.

1 - тождественное отображение   2.1.F.

→             - отображение   2.1.G.

ƒ                - функция    2.1.G.

μ^-1            - обратная операция к отображению   2.1.H.

∘               - композиция отображений   2.1.I.

μ²             - композиция двух отображений μ   2.1.I.

×               - произведение множеств 2.3.A.

<x, y>     - элемент произведения множеств 2.3.A.

P[x]        - x обладает свойством P 2.4.A.

R [x, y]  - между x и y имеется отношение R 2.4.B.