Vogliamo determinare il numero di elementi di un insieme , ma è difficile. IDEA: Metto in biezione con un altro insieme , di cui è facile contare il numero di elementi.

Esempio: Contare il numero di sottoinsiemi di un insieme dato.

Quanti sottoinsiemi ha un insieme con , ad esempio ?

  • L’insieme di tutti i sottoinsiemi di è l’insieme delle parti .
  • Codifichiamo ogni sottoinsieme di con la sua funzione caratteristica, codificando l’appartenenza o meno di ognuno dei suoi 5 elementi con uno 0 o un 1, formando una stringa binaria di 5 bit. Ad esempio è .
  • Da qui, usando le disposizioni con ordine è facile dimostrare che ci sono stringhe binarie, quindi sottoinsiemi di , compreso l’insieme vuoto e stesso.

In generale se , dato un ordinamento degli elementi di , definiamo la biezione

dove

Questa è una biezione perché è iniettiva e suriettiva .