Nuprl Definition : increasing
increasing(f;k) == ∀i:ℕk - 1. f i < f (i + 1)
Definitions occuring in Statement :
int_seg: {i..j-},
less_than: a < b,
all: ∀x:A. B[x],
apply: f a,
subtract: n - m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
all: ∀x:A. B[x],
int_seg: {i..j-},
subtract: n - m,
less_than: a < b,
apply: f a,
add: n + m,
natural_number: $n
FDL editor aliases :
increasing
Latex:
increasing(f;k) == \mforall{}i:\mBbbN{}k - 1. f i < f (i + 1)
Date html generated:
2016_05_13-PM-04_02_09
Last ObjectModification:
2015_09_22-PM-05_45_44
Theory : int_1
Home
Index