A mathematical formulation of compositionality was presented. Recursive application of the composition rules were found to define the set of recognizable objects. Composition rules were added to allow two colinear straight lines to bind to form a larger straight line. Analysis showed that any collection of composition rules together with the set T of primitives defined a set or library, of objects.