同値類を["a", "b"]のように表すとき、("a", "b")をこの同値類の代表元と呼ぶ。