 A stronger condition would be to require that any pair of suitably related entities must have a minimal underlapper—something composed exactly of their parts and nothing else. This requirement is sometimes stated by saying that any suitable pair must have a mereological “sum”, or  “fusion”,[18]  though it is not immediately obvious how this requirement should be formulated. Consider the following definitions: