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

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

М.: , 2004, c. 68.

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

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