Definition:Directed Set