Relation Lab

Build a relation on a finite set and see what it implies. Edit the matrix or the graph and watch the properties update.