Showing changes from revision #6 to #7:
Added | Removed | Changed
A net is a function from a directed type to a type . is called the index type, the terms of are called indices (singular index), and is called the indexed type.
A sequence is a net whose index type is the natural numbers .