جبر مجرد

مبحثی که به مطالعۀ آن دسته از دستگاه‌های ریاضی می‏پردازد که شامل یک مجموعه و یک یا چند عمل دوتایی و چند قاعده برای عمل متقابل اعضا و اعمال دوتایی برهم باشد