משפט הייצוג של סטון

במתמטיקה, משפט הייצוג של סטון קובע כי כל אלגברה בוליאנית איזומורפית לאלגברה של קבוצות. למשפט חשיבות רבה בתורה של אלגבראות בוליאניות, משום שהוא נותן אפיון אלגברי מלא לכל האלגבראות הבוליאניות, וכן מאפשר לעשות שימוש בטכניקות של תורת הקבוצות בפתרון בעיות באלגבראות בוליאניות. המשפט הוכח בשנת 1936 על ידי מרשל סטון ונקרא על שמו.

אלגברה בוליאנית
ייצוג של סטון
ייצוג של סטון