main clear / load / save
Hilfe Roadmap Über

Signatur:

σ={}=


Strukur

Das Universum

𝒜={}=

Die Relationen

𝔄 enthält keine Relationen oder Färbungen.


show GraphVizArd / edit

Programm

𝒫={}=



more info / hide edit

Fixpunktberechnung

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

more info