Nuprl Definition : monoid_p
(compound):: IsMonoid(T;op;id) == Assoc(T;op) ∧ Ident(T;op;id)
Definitions occuring in Statement :
ident: Ident(T;op;id),
assoc: Assoc(T;op),
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
assoc: Assoc(T;op),
ident: Ident(T;op;id)
Latex:
(compound):: IsMonoid(T;op;id) == Assoc(T;op) \mwedge{} Ident(T;op;id)
Date html generated:
2016_05_15-PM-00_06_05
Last ObjectModification:
2015_09_23-AM-06_24_11
Theory : groups_1
Home
Index