A non-recursive CTE names one compiled result table.
highlighted = computed this step
Define one CTE
A non-recursive CTE gives a name to one compiled table result.
WITH ActiveStudents AS (...)
Read the name
The request defines 1 CTE named ActiveStudents.
CTE count=1
CTE examples are tiny finite-table transforms; recursive CTEs, materialization claims, optimizer behavior, SQL dialect completeness, and database-product claims are out of scope.
One name, one table
The name points to the recomputed CTE output table.