Nuprl Definition : rat-cube-face

c ≤ d ==  ∀i:ℕk. c i ≤ d i


Definitions occuring in Statement :  rat-interval-face: I ≤ J,  int_seg: {i..j-},  all: ∀x:A. B[x],  apply: f a,  natural_number: $n
Definitions occuring in definition :  apply: f a,  rat-interval-face: I ≤ J,  natural_number: $n,  int_seg: {i..j-},  all: ∀x:A. B[x]
FDL editor aliases :  rc-face rc-face rc-face
Latex:
c  \mleq{}  d  ==    \mforall{}i:\mBbbN{}k.  c  i  \mleq{}  d  i


Date html generated: 2019_10_29-AM-07_49_27
Last ObjectModification: 2019_10_17-PM-01_27_21

Theory : rationals


Home Index