Prime (order theory)
This article relies largely or entirely on a single source. (May 2024) |
In
partial order (P, ≤) is a meet prime element when p is the principal element of a principal prime ideal. Equivalently, if P is a lattice
, p ≠ top, and for all a, b in P,
- a∧b ≤ p implies a ≤ p or b ≤ p.
See also
References
- Roman, Steven (2008), Lattices and ordered sets, New York: Springer, p. 50, MR 2446182.