Nuprl Definition : rng
Rng ==  {r:RngSig| IsRing(|r|;+r;0;-r;*;1)} 
Definitions occuring in Statement : 
ring_p: IsRing(T;plus;zero;neg;times;one)
, 
rng_one: 1
, 
rng_times: *
, 
rng_minus: -r
, 
rng_zero: 0
, 
rng_plus: +r
, 
rng_car: |r|
, 
rng_sig: RngSig
, 
set: {x:A| B[x]} 
Definitions occuring in definition : 
set: {x:A| B[x]} 
, 
rng_sig: RngSig
, 
ring_p: IsRing(T;plus;zero;neg;times;one)
, 
rng_car: |r|
, 
rng_plus: +r
, 
rng_zero: 0
, 
rng_minus: -r
, 
rng_times: *
, 
rng_one: 1
Latex:
Rng  ==    \{r:RngSig|  IsRing(|r|;+r;0;-r;*;1)\} 
Date html generated:
2016_05_15-PM-00_20_22
Last ObjectModification:
2015_09_23-AM-06_25_33
Theory : rings_1
Home
Index