Cartesian Monoids

The Cartesian monoid of partial piecewise shift operators is developed as a model for programming systems such as Backus' FP. Special attention is paid to those elements which are equationally implicitly definable.