Isso mesmo, Claudio.
Na verdade, se você fizer
classe F (CONTA atrib) (R)
onde atrib é qualquer atributo de R, o resultado será o mesmo: um conjunto de tuplas onde cada tupla possui dois atributos -- o nome de uma classe C que aparece em R e a quantidade de tuplas em R que possui C como classe.
Isso acontece porque as tuplas duplicadas não são eliminadas quando uma função de agregação é aplicada.