Assertion: class | /r/HasProperty | the remainder of the division
Facets:
Source sentences:
text: The class and its representative are more or less identified, as is witnessed by the fact that the notation a mod n may denote either the class or its canonical representative (which is the remainder of the division of a by n).