theorem :: FILTER_1:2

for L being Lattice
for p, q being Element of L st <.p.) = <.q.) holds
p = q