Выдержка из книги
Виноградов И.М.
Математическая энциклопедия Том 1
БАЗИС множества X - минимальное порождающее его подмножество В. Это понятие связано с понятием зависимости: элементы X посредством операций из Q ставятся в зависимость от элементов В. В не порождается остальными его элементами.