Té com a objecte l’estudi de les operacions finitàries definides en un conjunt, amb l’objectiu de trobar i desenvolupar les propietats que tenen en comú estructures algèbriques diverses, com ara anells, cossos, àlgebres de Boole, reticles, grups, etc.
Aquesta teoria, la inicià Garret Birkhoff a l’entorn del 1930 i fou consolidada després de la Segona Guerra Mundial per Alfred Traski, Leon Henkin i Abraham Robinson, entre d’altres.