Since a definition is a formula, and every formula has parts, and as the formula is to the thing, so is the part of the formula to the part of the thing, we are already faced by the question whether the formula of the parts must be present in the formula of the whole or not.