A net is a function a:I→Aa: I \to A from a directed type II to a type AA. II is called the index type, the terms of II are called indices (singular index), and AA is called the indexed type.
A sequence is a net whose index type is ℕ\mathbb{N}.
directed type
Cauchy structure
Cauchy net
Revision on March 11, 2022 at 09:09:15 by Anonymous?. See the history of this page for a list of all contributions to it.