main clear / load / save
Hilfe Roadmap Über

Signatur:

σ={}=


Strukur

Das Universum

𝒜={}=

Die Relationen

𝔄 enthält keine Relationen oder Färbungen.


Signatur ggf. erweitern


show GraphVizArd / hide edit

Programm

𝒫={}=

more info / edit

Fixpunktberechnung

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

more info