エピ射
β1 : B → B1 がエピ射であれば、β1 ≼ β1 である。