for R being non empty discrete Poset holds R is locally_directed