entailment

n. (logic) Hậu quả logic của một mệnh đề này đến mệnh đề khác; hậu quả cần thiết; (law) Việc hạn chế quyền thừa kế cho một dòng hậu duệ cụ thể; thừa kế tài sản đã được xác định.