במתמטיקה, אלומה (בצרפתית: Faisceau, באנגלית: Sheaf) היא אמצעי המאפשר לרכז מידע על תכונות מקומיות של מרחב, כדי להשוות אותן לתכונות הגלובליות שלו. האלומה \mathcal{F} מוגדרת על מרחב טופולוגי X, ומתאימה לכל קבוצה פתוחה U מידע כלשהו \mathcal{F}(U) (המידע יכול להיות קבוצה, חבורה, חוג, מודול או אלגברה). האקסיומות שאלומה נדרשת לקיים מבטיחות שהמידע המקומי יהיה מאורגן באופן רציף. מתוך ויקיפדיה

אקסיומת האיחוד, אקסיומת האינדוקציה, אקסיומת האינסוף, אקסיומת הבחירה, אקסיומת הבנייה, אקסיומת ההחלפה, אקסיומת ההיקפיות, אקסיומת ההפרדה, אקסיומת החסם העליון, אקסיומת היסוד