  The structures A and B are called the factors of A × B. In the same way we can form products of any number of structures. If all the factors of a product are the same structure A, the product is called a power of A. A theorem called the Feferman-Vaught theorem tells us how to work out the complete theory of the product from the complete theories of its factors. 