The representation of premodal algebras

“Premodal structures” and “premodal algebras”, introduced in [5], are the result of an act of abstraction, just as monadic algebras, taken as starting point [5], are abstracted from functional monadic algebras introduced by P. R. Halmos [1]. Here is proved that every premodal algebra is isomorphic to the abstract of a suitable concrete premodal algebra.