theorem :: FILTER_0:48

for L being strict Lattice holds latt <.L.) = L