àlgebra d'abstracció