Let be a dense integral subdomain of the rational numbers and let be the positive terms of . Let be a -premetric space. Given a directed type , a term is a limit of a net or that converges to if comes with a term
The limit of a net is usually written as
where is a dummy variable.
A limit of a sequence is usually written as
Cauchy approximations
Let be a dense integral subdomain of the rational numbers and let be the positive terms of .