Nuprl Definition : nary-rel-predicate
[[R]] == λm,s. ((n ≤ m) ∧ (R s))
Definitions occuring in Statement :
le: A ≤ B,
and: P ∧ Q,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
and: P ∧ Q,
le: A ≤ B,
apply: f a
FDL editor aliases :
nary-rel-predicate
Latex:
[[R]] == \mlambda{}m,s. ((n \mleq{} m) \mwedge{} (R s))
Date html generated:
2016_05_14-PM-04_07_18
Last ObjectModification:
2015_09_22-PM-06_02_07
Theory : fan-theorem
Home
Index