→

В этом равенстве множество узлов сравнивается с булевым значением "истины". Множество узлов, выбираемое путем

, приводится к булевому типу. Результатом приведения будет "истина", поскольку множество элементов string, принадлежащих элементу , непусто. Таким образом, сравнение является проверкой на равенство двух "истин" — и результат, естественно, тоже будет "истиной".

→

В этом случае мы проверяем множество узлов

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

→

В данном случае множество

сравнивается с булевым значением множества , которое будет "ложью", поскольку это множество будет пустым. Таким образом, результат сравнения также будет "ложью".

→

Множества

и будут пустыми, поэтому, сравнивая первое с булевым значением второго, мы получим "истину", так как "ложь" равна "лжи".

Примеры сравнения множества узлов с числом:

→

Множество узлов

может считаться меньше, чем число , поскольку первый элемент этого множества имеет строковое значение "", при приведении которого к числу мы получаем , что меньше .

→

То же самое множество узлов может считаться также и большим

, поскольку последний элемент этого множества имеет строковое значение "", при приведении которого к числу мы получаем , что больше .

→

Второй элемент множества

равен , то есть и это сравнение будет истинным.

Примеры сравнения множества узлов со строковым значением:

→

Множество

не будет равно строке "", поскольку ни один из узлов этого множества не имеет строкового значения "".

→

Множество

будет считаться равным строке "", поскольку второй узел этого множества имеет текстовое значение "".

→

Множество

может также считаться не равным строке "", поскольку первый узел этого множества имеет текстовое значение "", не равное "".

Примеры сравнения двух множеств узлов:

→

Для двух этих множеств будет выполняться равенство, поскольку оба они имеют по узлу с равными строковыми значениями — первый узел

и первый узел равны "".

→

Для этих же множеств будет выполняться неравенство, поскольку в них найдется неравная пара узлов (например, узел с текстовым значением "

" в и узел с текстовым значением "" в ).

Определим теперь равенство и неравенство значений простых типов. При проверке на равенство или неравенство оба операнда приводятся к общему типу и сравниваются. Приведение к общему типу производится следующим образом:

□ если хотя бы один из операндов имеет булевый тип, второй также приводится к булевому типу;

□ иначе, если хотя бы один из операндов — число, второй также приводится к численному типу;

□ иначе, если хотя бы один из операндов — строка, второй также приводится к строковому типу.

После того, как оба операнда приведены к некоторому общему типу, они проверяются на равенство или неравенства как два значения этого общего типа:

□ два булевых значения равны тогда и только тогда, когда они оба являются "истиной" или оба являются "ложью";