indexed family
The Cartesian product of two sets is the set of all ordered pairs whose first component belongs to the first set and whose second belongs to the second.
The Cartesian product of two sets is the set of all ordered pairs whose first component belongs to the first set and whose second belongs to the second.