theorem Th8: :: OSALG_4:8

for R being non empty discrete Poset holds R is locally_directed