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