Galaxy quenching:
cessation of star formation in galaxies