Bonsoir,
Nous sommes bien d'accord que la notation peut représenter plusieurs objets mathématiques différents (qui coïncident sur leur domaine commun, d'où la notation commune).
Par définition de l'exponentiation des cardinaux |E||F| = |applications de F dans E| que E et F soient finis ou non, ce n'est donc pas une question de pratique, mais de définition.
-----