Definition of Hotchpot