# 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