Assertion: real number's supremum | /r/Synonym | the type
Facets:
Source sentences:
text: The supremum of the sequence {ω(x, n)} is called the type.