Assertion: function's element | /r/HasProperty | β ∈ g.
Facets:
Source sentences:
text: Consider a primitive element α ∈ G and another element β ∈ G.