Число подмножеств данного множества

Пусть А = { a _l, а₂,..., а_n,} - некоторое конечное множество, элементы кото­рого перенумерованы. При работе с конечными множествами на вычисли­тельных машинах такие множества часто задают с помощью характеристи­ческих векторов. Пусть А' А – произвольное подмножество множества А. Характеристический вектор v(A') = () для множества А определя­ется с помощью такого соответствия:

Например если , и , то .

Теорема. , где A’,A’’ – некоторые подмножества множества А.