direct_product (302B)
1 # Direct product 2 3 Given [structures] S1 and S2 on same [signature], the *direct product* of S1 and S2 is the [structure] where: 4 - the [domain] is the [Cartesian_product] of the [domains] 5 - the [tuples] are the combinations of the [tuples] of S1 and S2 6 7 Up: [operator] on [structure] 8 9 See also: [union]