Definition:Pseudoprime (Order Theory)

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $p \in S$.


Then $p$ is pseudoprime if and only if

there exists a prime ideal $P$ in $L$: $p = \sup P$


Sources