一、相容关系
定义10.7.1
定义10.7.2
定义10.7.3
定理10.7.1