theorem :: LATTICEA:2

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