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

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

М.: , 2004, c. 68 — 69.

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

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