Definition:Prime Ideal (Order Theory)
Jump to navigation
Jump to search
Definition
Let $I$ be an ideal in an ordered set $S$.
Then $I$ is a prime ideal in $S$ if and only if $S \setminus I$ is a filter.
Also see