is the class of couples:
This definition remains applicable when
or
or both are infinite, and it can be extended step by step to three or four or any finite number of factors. No difficulty arises as regards this definition, except that it cannot be extended to an infinite number of factors.
The problem of multiplication when the number of factors may be infinite arises in this way: Suppose we have a class
