lambda1@tg says to YSITD A few more example to ponder with: Given a set of vertices V of a directed acyclic graph, we can define a relation -> such that V is totally ordered.