direct product ( synonym found)

Definition of direct product:

(n) : the direct product of an indexed family of sets is the set of functions from the indexing set to the union of the family, whose values at any given index lie in the set indexed thereby; the generalization of direct product (1) to arbitrary categories
"for example, if A and B are sets, their direct product is the set of pairs (a,b) with a in A and b in B."

Definition of direct product:

(n) : the direct product of an indexed family of sets is the set of functions from the indexing set to the union of the family, whose values at any given index lie in the set indexed thereby; the generalization of direct product (1) to arbitrary categories
"for example, if A and B are sets, their direct product is the set of pairs (a,b) with a in A and b in B."

Back to Top