Category:Prime Ideals

From ProofWiki
Jump to: navigation, search

This category contains results about Prime Ideals in the context of Order Theory.


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.