Abstract algebraic hierarchy