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)