の組が射影被覆であるとは、が余剰全射であることをいう。