Varietas (aljabar universal) itu apa sih?

Dalam aljabar universal, varietas aljabar atau kelas persamaan adalah kelas dari semua struktur aljabar dari tanda tangan tertentu yang memenuhi himpunan identitas. Misalnya, grup membentuk berbagai aljabar, seperti halnya grup Abelian, gelanggang, monoid dll. Menurut Teorema Birkhoff, kelas struktur aljabar dengan tanda tangan yang sama adalah suatu variasi jika dan hanya jika ditutup pada pengambilan gambar homomorfik, subaljabar dan (produk langsung). Dalam konteks teori kategori, berbagai aljabar, dengan homomorfisme, membentuk kategori; maka biasanya disebut  kategori aljabar finiter .

Kovarietas  adalah kelas dari semua struktur koaljabar dari suatu tanda tangan.