Prefer a chat interface with context about you and your work?
METRIC SPACES OVER ORDERED FIELDS
contains the limits of all converging a-nets in A.