for T being RelStr
for A being upper Subset of T
for B being directed Subset of T holds A /\ B is directed