Definition:Ring Direct Product