一、相容关系

  定义10.7.1
  定义10.7.2
  定义10.7.3
  定理10.7.1