An Algebra for the Analysis of Object Encoding