#群論入門_剰余類編 15

・(#類別 の #類 の)#代表元:
representative

・(類別の)#完全代表系:
complete system of representatives

Transversal (combinatorics)
https://en.wikipedia.org/wiki/...
完全代表系を
system of distinct representatives; SDR
とも表記
※意味合いは異なる場合がある

#群論入門_剰余類編 14

Q.
集合Aの #類別(#分割)
A＝A_1＋A_2＋…
の #完全代表系 とは

A.
各 #類 A_i の #代表元 を
1つずつ任意に選び a_i とし，
代表元の集合
{ a_1, a_2, … } を
この類別の完全代表系と呼ぶ.

代表元の選び方は任意性があるので
完全代表系の作り方も任意性がある.