smyalygames/ACIT4330-Page
1
0
Fork 0
generated from smyalygames/quartz
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
ACIT4330-Page/content/Definitions/Functions/Direct Product.md
Anthony Berg 8fb1f81784 Quartz sync: Mar 1, 2025, 2:26 PM
2025-03-01 14:26:36 +01:00

157 B
Raw Blame History

X \times Y = \{ x: \{ 1, 2 \} \to x_{1} \cup x_{2} | x_{1} X_{1} \wedge x_{2} \in X_{2} \}

where X = X_{1} and Y = X_{2}, basically (X_{1}, X_{2}).