https://en.wikipedia.org/wiki/Cartesian_product
Cartesian product - Wikipedia
cartesian productwikipedia
https://unimath.github.io/agda-unimath/structured-types.pointed-cartesian-product-types.html
Pointed cartesian product types - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
cartesian productpointedtypesagda
https://cplusplus.github.io/LWG/issue3820
Issue 3820: cartesian_product_view::iterator::prev is not quite right
C++ library issue. Status: C++23
cartesian productnot quiteissueview
https://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/cartesian-product
Cartesian product | Encyclopedia.com
Cartesian product of two sets S and T. The set of all ordered pairs of the form (s,t) with the property that s is a member of S and t is a member of T; this is...
cartesian productencyclopedia