Coba jelasin Ide dasar dari Aljabar universal dong

Dalam aljabar universal, sebuah aljabar (atau aljabar struktur) adalah himpunan A bersama dengan kumpulan operasi pada A.  n-ary operasi pada A adalah fungsi yang membutuhkan  n  elemen  A  dan mengembalikan satu elemen  A .  Jadi, operasi 0-ary (atau  operasi nullari ) dapat direpresentasikan secara sederhana sebagai elemen  A , atau  konstanta , sering dilambangkan dengan surat seperti  a .  Operasi 1-ari (atau  operasi uner ) hanyalah fungsi dari  A  hingga  A , sering dilambangkan dengan simbol yang ditempatkan di depan argumennya, seperti ~x.  Operasi 2-ary (atau  operasi biner ) sering dilambangkan dengan simbol yang ditempatkan di antara argumennya, seperti  x  ∗  y .  Operasi  ariti  yang lebih tinggi atau tidak ditentukan biasanya dilambangkan dengan simbol fungsi, dengan argumen ditempatkan dalam tanda kurung dan dipisahkan dengan koma, seperti f(x,y,z) atau f(x1,...,xn).  Beberapa peneliti mengizinkan operasi infiniter, seperti  di mana  J  adalah himpunan indeks tak terhingga, sehingga mengarah ke teori aljabar kisi kompleks.  Maka, salah satu cara untuk membicarakan aljabar adalah dengan menyebutnya sebagai Aljabar Jenis Tertentu , dimana  adalah urutan bilangan asli yang mewakili aritas operasi aljabar.