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