More abstractly, one talks about the product in category theory, which formalizes these notions.
Πιο αφηρημένα, μιλάμε για ένα γινόμενο στη θεωρία κατηγοριών, η οποία επισημοποιεί αυτές τις έννοιες.