¿Alguien sabe si la siguiente pregunta se ha resuelto en general o tiene alguna idea de la pregunta.
Tomemos por ejemplo los conjuntos {0,1} y {1,2} y la multiplicación de funciones (*) sobre los conjuntos se denotará como *(0,1)=0*1=0.
Ahora queremos saber el tamaño del conjunto que puede derivarse de la multiplicación sobre todas las combinaciones de tales conjuntos. Por ejemplo:
{*(0,0), *(0,1), *(1,0), *(1,1)} = {0,1}
donde como
{*(1,1), *(1,2), *(2,1), *(2,2)} = {1,2,4}
Se trata de un ejemplo sencillo, pero las generalizaciones a combinaciones del alfabeto superiores a dos deberían ser progresivamente más difíciles de seguir.