for Y being set st Y is c=directed holds
for X being finite Subset of (union Y) ex y being set st
( y in Y & X c= y )