定义12.5.1
  例1
  例2
  例3
  例4
  例5
  定理12.5.1