The synthesis of system designs: I. Elementary decomposition theory