دستگاه جبری

مجموعه‏ای همراه با رابطه‏ها و عمل‌های تعریف‏شده روی آن