Definition:Internal Direct Product of Rings