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
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.