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