Showing changes from revision #1 to #2:
Added | Removed | Changed
Let be a Archimedean directed ordered type integral domain , with and a letdense be astrict order , - let be the semiring? of positive terms in , and let be a -premetric space. Given a directed type , a limit of a net is a term with
A limit of a sequence is a limit of a net that happens to be a sequence.
Let be a Archimedean ordered integral domain with a dense strict order, and let be the semiring? of positive terms in . If both and are , then a limit of a Cauchy approximation is a term with
…
A limit of a sequence is a limit of a net that happens to be a sequence.