エピ射
β1 : B → B1、 β2 : B → B2 をエピ射とし、β2 ≼ β1 かつ β1 ≼ β2 であるならば、β1 ≅ β2 である。