Varietas (aljabar universal)

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. 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.