Una red en un conjunto formula_16 no es más que una aplicación formula_17 entre un conjunto dirigido formula_1 y un conjunto formula_16.