Definition:Prime Ideal (Order Theory)

Definition
Let $I$ be an ideal in an ordered set $S$.

Then $I$ is a prime ideal in $S$ iff $S \setminus I$ is a filter.

Also see

 * Prime Ideal in Lattice