あ，群じゃなくてもいいです．．

例えば
{1，1，2，3}
みたいな感じであります．

自分は物理屋なんですが，群論が必要になったので，
応用群論っていう本を読んでいます．

この本の「類の積」という節で，

「類C1と類C2の積C1 C2は，それぞれの類に属する元の積が作る集合と定義する」

って書いてるんですよ・・・
実際に積を計算してみると積C1 C2には同一の元が重複して現れるんです．
本書にもそのことについて触れられていて，

「重複して現れたものは独立なものとして数える」

って書いているんです；；