From Encyclopedia of Mathematics - Reading time: 1 min
The assertion that every ideal in a Boolean algebra can be extended to a prime ideal. It is a consequence of the Axiom of choice, but is known to be strictly weaker. It implies the Tikhonov theorem for Hausdorff spaces.