Definition:Canonical Surjection