Nuprl Definition : int_iseg
{i...j} == {k:ℤ| (i ≤ k) ∧ (k ≤ j)}
Definitions occuring in Statement :
le: A ≤ B,
and: P ∧ Q,
set: {x:A| B[x]} ,
int: ℤ
Definitions occuring in definition :
set: {x:A| B[x]} ,
int: ℤ,
and: P ∧ Q,
le: A ≤ B
FDL editor aliases :
int_iseg
Latex:
\{i...j\} == \{k:\mBbbZ{}| (i \mleq{} k) \mwedge{} (k \mleq{} j)\}
Date html generated:
2016_05_13-PM-04_02_06
Last ObjectModification:
2015_09_22-PM-05_45_44
Theory : int_1
Home
Index