In mathematics, an element p of a partial order (P, â¤) is a meet prime element when p is the principal element of a principalprime 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.