Сеть в дискре́тной матема́тике, обобщение понятия графа. Сеть задается парой вида $(V,\mathscr{E})$, в которой $V$ – некоторое множество, $\mathscr E=(E_0; E_1, E_2, \ldots)$ – семейство наборов элементов из $V$. В наборах $E_i\in\mathscr{E}$ элементы могут, вообще говоря, повторяться. Элементы множества $V$ называются вершинами сети, элементы набора $E_0$ – полюсами сети, наборы $E_i, i=1, 2, \ldots$, – рёбрами сети. В случае, когда множество полюсов пусто и каждый из наборов $E_i$ является множеством, сеть представляет собой гиперграф. Если каждый из наборов $E_i, i= 1, 2, \ldots$, содержит ровно два элемента, сеть есть граф с выделенными полюсами. Часто под сетью понимается граф (с полюсами или без них), элементам которого приписаны символы из некоторого множества. Например, граф с полюсами, ребрам которого приписаны неотрицательные числа, называемые пропускными способностями, представляет собой транспортную сеть.

Понятие сети используется в определении и описании управляющей системы и специальных классов управляющих систем (контактные схемы, схемы из функциональных элементов), диаграмм переходов автоматов, коммуникационных сетей и др.