0055132人目の素数さん
2020/07/28(火) 11:05:03.25ID:U9fCF8ybつづき
This is no different to saying that (an) is equivalent to (bn) if and only if
an = bn for all sufficiently large n. Thus the elements in our new system are
equivalence classes of real sequences, denoted by <an>. We now define the
relevant operations and order of our new system.
P14
Chapter 3
Non-standard Analysis
3.1 Construction of the Hyperreals *R
(引用終り)
以上