Re: Operator class group proposal

Alvaro Herrera <alvherre@commandprompt.com> writes:
> How about "hyperclass" then? :-)  Maybe "school" :-D

So I finally went and looked at a thesaurus, and came up with some
possibilities:

category variety family crowd cluster flock pack troop gang clique
circle cabal association society union ensemble 

"Operator family" seems like it might be a good choice.
One small problem with it is that in biology, "family" is a smaller
group than "class" ... but if we want to follow the biologists,
the only bigger groups than classes are "phylums" and "kingdoms",
neither of which seem like good words to use.

"Operator cluster" isn't too bad either, except that it might create
confusion with the other index-related meaning of "cluster".
        regards, tom lane