Explore les actions de groupe sur des ensembles à travers des homomorphismes et des produits cartésiens, illustrant leurs propriétés et définitions équivalentes.
Introduit des ensembles, des fonctions et des preuves en mathématiques, couvrant l'égalité des ensembles, des sous-ensembles, des produits cartésiens et des ensembles de prédicats de vérité.
