בתורת ההסתברות, משפט ברירת זמן העצירה (באנגלית: Optional Stopping Time Theorem) של ג'וזף דוב, מתאר עיקרון יסודי לגבי תוחלת של מרטינגל, בו עצירת המרטינגל קבועה מראש לפי כלל עצירה כלשהו. המשפט קובע שבתנאים מסוימים, כלל העצירה אינו יכול להגדיל את התוחלת. מתוך ויקיפדיה

משפט ברטראן⁻צ'בישב, משפט ברטרן, משפט ברטרנד, משפט ברי⁻אסן, משפט ברירת העצירה, משפט ג'ירארד, משפט ג'עפרי, משפט גאוס, משפט גאוס מרקוב, משפט גאוס⁻בונה