Nuprl Definition : ideal
Ideal(r){i} == {p:|r| ⟶ ℙ| p Ideal of r}
Definitions occuring in Statement :
ideal_p: S Ideal of R,
rng_car: |r|,
prop: ℙ,
set: {x:A| B[x]} ,
function: x:A ⟶ B[x]
Definitions occuring in definition :
set: {x:A| B[x]} ,
function: x:A ⟶ B[x],
rng_car: |r|,
prop: ℙ,
ideal_p: S Ideal of R
Latex:
Ideal(r)\{i\} == \{p:|r| {}\mrightarrow{} \mBbbP{}| p Ideal of r\}
Date html generated:
2016_05_15-PM-00_22_53
Last ObjectModification:
2015_09_23-AM-06_25_48
Theory : rings_1
Home
Index