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