Definition:Binary Composition