:: deftheorem defines pseudoprime WAYBEL_7:def 6 :
for L being LATTICE
for p being Element of L holds
( p is pseudoprime iff ex P being prime Ideal of L st p = sup P );