更改

符号 < math > x subsetneq y，</math > 表示x是y的子集，但不等于y。

符号 < math > \text{x} \subset \text{y}  </math > 表示x是y的子集，但不等于y。

 

'''面向对象编程 Object-oriented Programming'''的'''类继承 Class Inheritance'''是包容层次的一个例证。

'''面向对象编程 Object-oriented Programming'''的'''类继承 Class Inheritance'''是包容层次的一个例证。

在这个特定的例子中，还有一些涌现特性 emergent properties——在较低层次上看不到的功能（例如认知 cognition不是神经元的特性，而是大脑的特性）——以及标度特性（分子比原子大，细胞比分子大等等）。这两个概念通常都存在于组合层次结构中，但它们不是必要的一般属性。这些层次结构是拥有属性的双向因果关系。涉及较低层次实体的上向因果关系  Upward causation导致较高层次实体的某些属性；子实体可以相互作用产生父实体，并且父实体至少部分由他们的子实体组成。下向因果关系 Downward causation是指将实体 x 并入更高级别的实体可能对 x 的属性和相互作用产生的影响。此外，每个级别上的实体都是自治的 autonomous。

在这个特定的例子中，还有一些涌现特性 emergent properties——在较低层次上看不到的功能（例如认知 cognition不是神经元的特性，而是大脑的特性）——以及标度特性（分子比原子大，细胞比分子大等等）。这两个概念通常都存在于组合层次结构中，但它们不是必要的一般属性。这些层次结构是拥有属性的双向因果关系。涉及较低层次实体的上向因果关系  Upward causation导致较高层次实体的某些属性；子实体可以相互作用产生父实体，并且父实体至少部分由他们的子实体组成。下向因果关系 Downward causation是指将实体 x 并入更高级别的实体可能对 x 的属性和相互作用产生的影响。此外，每个级别上的实体都是自治的 autonomous。

==语境和应用==

==语境和应用==