Definition talk:Prime Ideal (Order Theory)

Maximal ideal?

A question for our order theorists: is there a notion of "maximal ideal" in order theory too? If so, we can proceed as in Definition:Prime Ideal. --barto (talk) (contribs) 03:58, 31 October 2017 (EDT)

Now done anyway; see Definition:Maximal Ideal --barto (talk) (contribs) 13:29, 30 December 2017 (EST)