Оператор формализующий в исчислении предикатов логические свойства выражений: поиск слов по маске и определению