B) =ext ((A inj B)
(A onto B)) B) 
(A onto B) B) (A inj B)| Theorem | Name |
| B) =ext ((A inj B)(A onto B)) | [bijtype_exteq_inj_isect_surjtype] |
| cites the following: | |
| B) (A onto B) | [bijtype_sub_surjtype] |
| B) (A inj B) | [bijtype_sub_injtype] |