Definition:Ring Product