Nuprl Definition : mon_hom_inj_p

(compound):: IsMonHomInj(g;h;f) ==  IsMonHom{g,h}(f) ∧ Inj(|g|;|h|;f)



Definitions occuring in Statement :  monoid_hom_p: IsMonHom{M1,M2}(f) grp_car: |g| inject: Inj(A;B;f) and: P ∧ Q
Definitions occuring in definition :  and: P ∧ Q monoid_hom_p: IsMonHom{M1,M2}(f) inject: Inj(A;B;f) grp_car: |g|

Latex:
(compound)::  IsMonHomInj(g;h;f)  ==    IsMonHom\{g,h\}(f)  \mwedge{}  Inj(|g|;|h|;f)



Date html generated: 2016_05_15-PM-00_09_47
Last ObjectModification: 2015_09_23-AM-06_24_33

Theory : groups_1


Home Index