Partial Orders and Relations
Topological Sort
Equivalence Classes
Finds equivalence classes corresponding to a symmetric relation or undirected graph. Finds total order consistent with partial order or directed graph (so-called topological sort).