Nuprl Definition : calgebra
CAlg(A) == {m:algebra{i:l}(A)| Comm(m.car;m.times)}
Definitions occuring in Statement :
algebra: algebra{i:l}(A),
alg_times: a.times,
alg_car: a.car,
comm: Comm(T;op),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
algebra: algebra{i:l}(A),
comm: Comm(T;op),
alg_car: a.car,
alg_times: a.times
FDL editor aliases :
calgebra
Latex:
CAlg(A) == \{m:algebra\{i:l\}(A)| Comm(m.car;m.times)\}
Date html generated:
2016_05_16-AM-07_27_40
Last ObjectModification:
2015_09_23-AM-09_51_03
Theory : algebras_1
Home
Index