Definition: Group in query editor's draft

I have a small question about the Definition of "Group" in the query draft:

"Group((), Ω) = { 1 -> Ω }"

... shouldn't that be:

"Group((), Ω) = { () -> Ω }"

i.e., what is the 1 supposed to mean?

Thanks for clarification,
Axel

Received on Wednesday, 22 September 2010 06:00:29 UTC