Al igual que otras partes del álgebra universal, y a diferencia con otras áreas de la teoría de modelos, está relacionada principalmente con álgebras finitas, o más generalmente, con una σ-estructura finita para signaturas σ que pueden contener símbolos relacionales como en el siguiente ejemplo: