CRedu|α × CRedu