Group By mais Having

O HAVING é um filtro especial projetado para trabalhar depois que os dados já foram agrupados.

Para entender o HAVING, é preciso entender a limitação do WHERE:

O WHERE filtra linhas individuais (antes de agrupar).
O HAVING filtra grupos ou resultados de agregações (depois de agrupar).