Prime (order theory)

From HandWiki

In mathematics, an element p of a 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, ptop, and for all a, b in P,

abp implies ap or bp.

See also

References