Het is mij niet geheel duidelijk wat je vraag is. Het Cartesisch product van twee (of meer) verzamelingen is ondubbelzinnig gedefinieerd (zie de link naar Wikipedia). Daar is niets aan toe te voegen of af te halen.
De rest van je vraag lijkt over simultane kansverdelingen te gaan en de verzamelingen waarop zo'n verdeling gedefinieerd/geconcentreerd is. Het lijkt mij dat een drager van een simultane kansverdeling niet noodzakelijk een cartesisch product hoeft te zijn.
Zie Wikipedia: Cartesich product
kphart
maandag 21 april 2014