Assertion: real number's part | /r/CapableOf | represent in ultrapower construction
Facets:
value: by a cauchy sequence
type: OTHER
value: conversely
type: MANNER
Source sentences:
text: Conversely, the standard part of a hyperreal a = [ a n ] {\displaystyle a=[a_{n}]} represented in the ultrapower construction by a Cauchy sequence ( a n )