Assertion: class's element | /r/HasProperty | chosen
Facets:
value: often implicitly
type: MANNER
Source sentences:
text: When an element is chosen (often implicitly) in each equivalence class, this defines an injective map called a section.