  If A and B are L-structures, we form their product C = A × B as follows. The elements of C are the ordered pairs (a,b) where a is an element of A and b is an element of B. The predicate symbols are interpreted ‘pointwise’, i.e. so that for example 