Lattice of Substructures

An interactive particle simulation where elements form groups and discover relations. Toggle axioms like reflexivity, symmetry, and transitivity to watch order emerge from proximity.