Nuprl Definition : mon

Mon ==  {g:GrpSig| IsMonoid(|g|;*;e)} 



Definitions occuring in Statement :  grp_id: e grp_op: * grp_car: |g| grp_sig: GrpSig monoid_p: IsMonoid(T;op;id) set: {x:A| B[x]} 
Definitions occuring in definition :  set: {x:A| B[x]}  grp_sig: GrpSig monoid_p: IsMonoid(T;op;id) grp_car: |g| grp_op: * grp_id: e

Latex:
Mon  ==    \{g:GrpSig|  IsMonoid(|g|;*;e)\} 



Date html generated: 2016_05_15-PM-00_06_46
Last ObjectModification: 2015_09_23-AM-06_24_15

Theory : groups_1


Home Index