main clear / load / save
Hilfe Roadmap Über

Signatur:

σ={}=


Strukur

Das Universum

𝒜={}=

Die Relationen

𝔄 enthält keine Relationen oder Färbungen.


Originalgröße / Einpassen

Neue Knoten

  

Knotenfarben

Neue Farben

  

Kanten
 

Neue Kantenrelation
 
Layout
 

(Entfernen der Knoten und Kanten durch Anklicken)



hide GraphVizArd / edit

Programm

𝒫={}=

more info / edit

Fixpunktberechnung

Für alle i0 gilt S𝒫0 = S𝒫i = S𝒫ω

more info