abstract:In mathematics, a prime ideal theorem guarantees the existence of certain types of subsets in a given algebra. A common example is the Boolean prime ideal theorem, which states that ideals in a Boolean algebra can be extended to prime ideals.