Assertion: abelian group's element | /r/PartOf | the class of \(b\
Facets:
Source sentences:
text: a x = (g h^{-1} x)^{-1} b (g h^{-1} x)\) for any \(x \in G\), implying that every element in the class of \(a\) also belongs to the class of \(b\).