Entailment is a relation of inclusion.

• 蕴涵是一种包含关系。