Nuprl Definition : rv-le

X ≤ Y ==  ∀s:ℕn ⟶ Outcome. ((X s) ≤ (Y s))


Definitions occuring in Statement :  p-outcome: Outcome,  qle: r ≤ s,  int_seg: {i..j-},  all: ∀x:A. B[x],  apply: f a,  function: x:A ⟶ B[x],  natural_number: $n
FDL editor aliases :  rv-le
Latex:
X  \mleq{}  Y  ==    \mforall{}s:\mBbbN{}n  {}\mrightarrow{}  Outcome.  ((X  s)  \mleq{}  (Y  s))


Date html generated: 2016_05_15-PM-11_48_15
Last ObjectModification: 2008_02_27-PM-05_49_13

Theory : randomness


Home Index