Posté par
jeroM jeroMil n'y en a pas mais le fait d'appeler I comme ensemble d'indexation de deux familles différentes d'ensembles porte à confusion.
peut être, en considérant
_{i\in I})
une famille d'ensemble de

donc éléments de
)
.
et
_{j\in J})
une famille de parties de

donc inclus dans
)
.
La différence n'est pas énorme c'est juste sur la clarification de l'interprétation.