entailment

n.(logic) Konsekuensi logis dari satu pernyataan terhadap pernyataan lain; konsekuensi yang diperlukan; (hukum) Pembatasan warisan pada garis keturunan tertentu; warisan properti yang telah ditetapkan