Infinite symmetric product