Definition:Directed Preorder