Założenie:

Wiemy, że zbiór ma  elementów.

Teza:

Ma on  podzbiory.

Dowód:

Zapiszemy, że może mieć on podzbiory:

- zero-elementowe

- jednoelementowe

- dwuelementowe

- trzyelementowe

-