Sentence:  If A and B are sets, their <WSD>direct product</WSD> is the set of ordered pairs (a,b) with a in A and b in B. 
Meaning of the word marked with <WSD> tags:  The set of all possible tuples whose elements are elements of given, separately specified, sets.