定義
G を群とする。
A と B を G の部分集合とする。
B = xAx^(-1) となる x ∈ G があるとき A と B は互いに共役である、
または B は A の共役であると言う。