A HAVING-style rule filters groups after the aggregate is computed.
aggregate first, filter second
Apply the group filter
The table forms 3 groups and keeps 2 after the filter.
kept groups=2
Grouping examples are tiny finite table transforms; SQL dialects, NULLs, AVG/rounding, planner behavior, indexes, performance, and product behavior are out of scope.
Read keep or drop
The having table shows which group passed the threshold and which group failed.
keep/drop is visible
Summary
This is a tiny aggregate threshold, not full SQL HAVING syntax.