:: deftheorem Def8 defines locally_directed OSALG_4:def 8 :
for R being non empty Poset holds
( R is locally_directed iff for C being Component of R holds C is directed );