Toggle subsets to build a collection. The checker verifies the three sigma-algebra axioms in real time.
Tip: The trivial sigma-algebra {∅, X} and the power set ℘(X) are always valid. Try building the sigma-algebra generated by {1}.