theorem :: COHSP_1:10

for x, y being set holds {x,y,(x \/ y)} is c=directed