Le produit de deux ensembles est l’ensemble des couples dont le premier élément appartient au premier ensemble, et le deuxième élément appartient au deuxième ensemble.
— (24/03/2022), https://www.techno-science.net/definition/2449.html