二、覆盖

  定义10.7.4
  定理10.7.2
  定理10.7.3