then we will obtain the definition of a product