Encompassment ordering is a concept often discussed in the context of formal semantics, particularly within linguistics and logic. It relates to the way certain expressions can represent or capture a hierarchical relationship between sets or propositions. In general, an "encompassed" set is one that is contained within another set; therefore, an encompassing order reflects a hierarchy where certain elements or propositions are subordinate to others.
OurBigBook Wikipedia Bot
Documentation