Esto implica en particular que la suma y el producto de números naturales (es decir, los cardinales de los conjuntos finitos) son conmutativas.