Requires Firefox 1.5 or Opera 9. On my laptop, Opera happens to be faster.
Arrows:
⟶ ∀X: AX ⊆ BX and co.AX ⊆ BX⟶ ∀X: AX ⊆ BX⟶ ∀X: co.AX ⊆ BX⟶ ∀X: cocap.AX ⊆ BX
Node colors:
∀X: AX⊆? BX proven
disproven
open
unknown to us
If a cell has more than one color: left - regular inclusion; right - twisted inclusion; middle - weak inclusion.
Click on a node to select it as the "A" class.
Press backslash (\) to switch between subset and superset status.
Shift-click to open to the "Class Relations" entry in a separate page.
See also: Complexity Zoology Introduction,
Static Inclusion Diagram,
Complexity Class Relations