:: deftheorem Def6 defines directed WAYBEL_0:def 6 :
for N being RelStr holds
( N is directed iff [#] N is directed );