למת המקומיות של לובאס (באנגלית: Lovász Local Lemma) היא למה בתורת ההסתברות אשר פותחה בשנת 1975 על ידי לסלו לובאס ופול ארדש. מטרת הלמה להרחיב טענה הסתברותית על משתנים בלתי תלויים למקרה בו המשתנים תלויים באופן "חלש" אחד בשני. הלמה מראה, שאם קיימים מאורעות שהסתברות כל אחד מהם קטנה מ⁻1, אזי ההסתברות שאף אחד מהם לא מתקיים היא חיובית ממש, אפילו אם המאורעות עצמם תלויים, אך מקיימים את תנאי הלמה. הלמה בעלת חשיבות רבה במתמטיקה ומדעי המחשב, למשל עבור הוכחות קיום בשיטה ההסתברותית. מתוך ויקיפדיה

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