Исключение первого элемента - способ ограничения выбора элементов во множестве, сводящийся к предъявлению к согласованию всех элементов указанного множества, кроме первого.
Запись соответствия "Исключение первого элемента" в символьной форме: wb(N). N - порядковый номер параметра в функции.