ADJUNCTION

the joining of two sets which without overlapping jointly constitute a larger set, or the relation between two such sets.

the asserting in a single formula of two previously asserted formulae.