которое будет истинным тогда и только тогда, когда

полностью принадлежит .

Этот метод позволяет реализовать в XSLT другие операции над множествами — пересечение, разность и симметрическую разность. Подробное описание этих операций приводится в главе 11.

В XSLT также нет оператора, который позволил бы проверить тождественность двух узлов. Например, если каждое из множеств

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

Для того чтобы корректно выполнить такое сравнение, можно использовать функцию

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

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

При преобразовании в булевый тип пустое множество узлов преобразуется в

, а непустое — в . Например, чтобы проверить, есть ли у текущего узла атрибут , можно написать:

Выражение

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

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

Результат:

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

Результат: