Embedded Systems Group (ES)

Partial Order Tools

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

compute reflexive/transitive closure of given relation