On Definite Iterated Belief Revision with Belief Algebras