Определение. Непустое множество X и множество отношений T называется графом и обозначается G(X,T). Граф называется конечным, если множество X конечно.