Nuprl Definition : int_seg
{i..j-} == {k:ℤ| i ≤ k < j}
Definitions occuring in Statement :
lelt: i ≤ j < k,
set: {x:A| B[x]} ,
int: ℤ
Definitions occuring in definition :
set: {x:A| B[x]} ,
int: ℤ,
lelt: i ≤ j < k
Rules referencing :
bar_Induction,
strong_bar_Induction,
StrongContinuity2
FDL editor aliases :
int_seg
Latex:
\{i..j\msupminus{}\} == \{k:\mBbbZ{}| i \mleq{} k < j\}
Date html generated:
2016_05_13-PM-03_32_47
Last ObjectModification:
2015_09_22-PM-05_44_57
Theory : arithmetic
Home
Index