Sage CIVLT: "bijective" to "surjective" (Anna Dovzhik)