אלגברה אוניברסלית (לעיתים מכונה אלגברה כללית) היא תחום במתמטיקה העוסק בחקר הרעיונות המשותפים לכל המבנים האלגבריים. מבנה אלגברי (או בפשטות אלגברה) מורכבת מקבוצה ''A'' בצירוף פעולות מסוימות החלות על העצמים ב⁻ ''A''. פעולה נולארית (0⁻ארית) מיוצגת על ידי עצם ב⁻ ''A'' (קבוע) אותו מכנים בדרך⁻כלל באמצעות אות קטנה, למשל ''a''. פעולה אונרית (1⁻ארית) היא פונקציה מ⁻ ''A'' ל⁻ ''A'', לרוב מיוצגת באמצעות סימן המושם לפני הארגומנט, למשל ''x''~. פעולה בינארית (2⁻ארית) בדרך⁻כלל מיוצגת על ידי סימן המושם בין הארגומנטים, כמו למשל ''x'' * ''y''. פעולות מסדר גודל גבוה יותר, או מסדר גודל לא מוגדר מסומנות באמצעות סימני פונקציה ולאחריהם הארגומנטים בסוגריים, כמו למשל (''f''(''x'',''y'',''z'' או (''f''(''x''. מתוך ויקיפדיה

אלגבאלוס, אלגברה, אלגברה (מבנה אלגברי), אלגברה (תורת הקבוצות), אלגברה אבסטרקטית, אלגברה אלטרנטיבית, אלגברה אלמנטרית, אלגברה אסוציאטיבית, אלגברה אפינית, אלגברה בוליאנית