Stone's representation theorem

Etymology
First proved by Marshall H. Stone.

Proper noun

 * 1)  A theorem stating that every Boolean algebra is isomorphic to a certain field of sets.