Hot: definationofproduct