Hola Leandro.
Tu segundo razonamiento es correcto y la clave está en fijar uno de los elementos y distinguirlo para evitar contar de más.
El problema con la primer forma es que al no distinguir ningún elemento repite el conteo para casos simétricos. Por ejemplo el caso de la relación identidad (donde cada clase tiene 1 solo elemento) se cuenta al menos n+1 veces porque tenés esa cantidad de formas de elegir un primer elemento para que vaya solo en las combinaciones del primer factor.
Saludos,
Gabriel
Tu segundo razonamiento es correcto y la clave está en fijar uno de los elementos y distinguirlo para evitar contar de más.
El problema con la primer forma es que al no distinguir ningún elemento repite el conteo para casos simétricos. Por ejemplo el caso de la relación identidad (donde cada clase tiene 1 solo elemento) se cuenta al menos n+1 veces porque tenés esa cantidad de formas de elegir un primer elemento para que vaya solo en las combinaciones del primer factor.
Saludos,
Gabriel