математика конкретная и хрупкая наука, и названия тут менять нельзя.
Ну, терминология, во-первых, меняется со временем, во-вторых, может немного различаться в разных школах. Главное, чтобы можно было друг друга понять.
Вот, скажем, из задачника Гаврилова-Сапоженко (
http://lib.mexmat.ru/books/8963), гл. II,

:
Цитата:
Функция

называется
шефферовой (или
функцией Шеффера), если она образует базис в

Есть и более общее понятие шефферовой функции, где рассматривается не

, а произвольная функциональная система и произвольное замыкание. Напр. Яблонский, "Введение в дискретную математику", ч.I, гл. 2,

, теорема 10:
Цитата:
В заключение рассмотрим еще одно приложение доказанного критерия полноты. Мы дадим характеристическое свойство функции из

, образующей полную систему (функция Шеффера). Это свойство является незначительным усилением теоремы Мартина [44].
Теорема 10. Функция

из

, где

, является функцией Шеффера тогда и только тогда, когда

порождает все функции одной переменной, принимающие не более

значений.