for L being RelStr
for X being Subset of L st X is_directed_wrt the InternalRel of L holds
X is directed