change equiv_tr to tr
isequiv_surj_emb
BuildIsSurjection