theorem :: COHSP_1:11

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