Esto significa de modo más formal que se puede establecer una biyección entre tal conjunto y el número 3 que es el conjunto {0,1,2}: