Using this tool, you can check whether a given binary relation is a partial order relation, a directed set or even a lattice.