An Algebraic Construction of Predicate Transformers