Начало см. здесь и здесь.

Андерсон Д. А.
Дискретная математика и комбинаторика.

М.: , 2004, c. 69.

В примере, приведенном в начале данного отрывка, множество B задано при помощи своего характеристического свойства, как это объяснено здесь.

Продолжение см. здесь.