formal definiert als ein Tripel \(G=(X,\tilde{A},\tilde{R})\), wobei die Fuzzy-Menge der Knoten, à eine normalisierte Fuzzy-Menge auf der Grundmenge X und die Fuzzy-Menge der Kanten \(\tilde{R}\) eine Fuzzy-Relation auf à ist, so daß für alle Elemente x,y ∈ X gilt \begin{equation} \mu_{R}(x,y)\le \min(\mu_{A}(x),\mu_{a}(y)). \end{equation}.