Nuprl Definition : rrel*
R*(x,y) == ∃n:ℕ. ∀m:{n...}. (R (x m) (y m))
Definitions occuring in Statement :
int_upper: {i...},
nat: ℕ,
all: ∀x:A. B[x],
exists: ∃x:A. B[x],
apply: f a
Definitions occuring in definition :
exists: ∃x:A. B[x],
nat: ℕ,
all: ∀x:A. B[x],
int_upper: {i...},
apply: f a
FDL editor aliases :
rrel*
Latex:
R*(x,y) == \mexists{}n:\mBbbN{}. \mforall{}m:\{n...\}. (R (x m) (y m))
Date html generated:
2018_05_22-PM-03_13_52
Last ObjectModification:
2017_10_06-PM-02_46_54
Theory : reals_2
Home
Index