theorem :: LATTICEA:3

for L being Lattice
for F being Filter of L holds
( F is prime iff ( F ` is Ideal of L or F ` = {} ) )