Cuandof es suryectiva, hay clases de|B| equivalencia enA. Ya queA es la unión disjunta de sus clases de equivalencia bajo≡, tenemos\(\vert A \vert = \e...Cuandof es suryectiva, hay clases de|B| equivalencia enA. Ya queA es la unión disjunta de sus clases de equivalencia bajo≡, tenemos|A|=ℓ⋅|B|. Si le agregamos un elemento más habráA, que incluirse en una de las equivalencias clases, y esa clase ahora tendrá un tamaño mayor queℓ.