Definition:Pseudoprime (Order Theory)

Definition
Let $L = \left({S, \vee, \wedge, \preceq}\right)$ be an up-complete lattice.

Let $p \in S$.

Then $p$ is pseudoprime
 * there exists a prime ideal $P$ in $L$: $p = \sup P$