Axiom Sketchpad

Draw a relation on a small set of nodes. Toggle reflexive, symmetric, and transitive to watch the closure appear.