Ensemble, ces trois propriétés déterminent entièrement la structure algébrique du produit direct.
Ensemble, ces trois caractéristiques déterminent complètement la structure directe du produit algébrique.