Whenever editing is allowed on the nLab again, this article should be ported over there.
A net is a function from a directed set to a set . is called the index set, the terms of are called indices (singular index), and is called the indexed set.
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.