for x being set holds
( {x} is c=directed & {x} is c=filtered )