Es seien L {\displaystyle {}L} und M {\displaystyle {}M} endliche Mengen mit ℓ {\displaystyle {}\ell } bzw. m {\displaystyle {}m}