for L being Lattice
for H, F being Filter of L holds
( F c= F "/\" H & H c= F "/\" H )