Finite Relation Lab

Toggle a relation on a small set and see which properties it has. If it becomes a partial order, you also get a Hasse diagram.