#Contents# * table of contents {:toc} ## Definition ## A __net__ is a function $a: I \to A$ from a [[directed type]] $I$ to a type $A$. $I$ is called the __index type__, the terms of $I$ are called __indices__ (singular __index__), and $A$ is called the __indexed type__. ## Examples ## * Every [[sequence]] $a: \mathbb{N} \to A$ is a net. ## See also ## * [[directed type]] * [[sequence]] * [[filter]]