若"D"和"E"为有向集合，且"h"为一由"D"到"E"的函数，则"h"被称为共尾，若对任一在"E"内的"e"，总存在一在"D"内的"d"会使得当"q"为"D"的元素且"q" ≥ "d"时，"h"("q") ≥ "e"。换句地话，其值域"h"("D")会共尾于"E"。若"D"和"E"为有向集合，"h"为由"E"到"E"的共尾函数，且φ是以"E"为基的集合"X"的网，则φo"h"称做φ的"子网"。所有的子网都是这种类型，依其定义。若φ是一以有向集合"D"为底的集合"X"的网，且"A"为"X"的子集，则