for L being Lattice
for F being Filter of L holds <.F.) = F by Def4;