entailment

noun
  1. A logical relationship in which one statement necessarily follows from another; if A is true, then B must be true.
  2. Usage: common in logic and philosophy
  3. Something that is necessarily involved or required as a consequence.
  4. The act of settling property so that it cannot be sold or divided and must pass to a specified heir.
  5. Usage: legal; historical

Examples