Product set/Two sets/Definition