Nuprl Definition : qoset
QOSet == {s:DSet| UniformPreorder(|s|;a,b.a ≤ b)}
Definitions occuring in Statement :
set_leq: a ≤ b,
dset: DSet,
set_car: |p|,
upreorder: UniformPreorder(T;x,y.R[x; y]),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
dset: DSet,
upreorder: UniformPreorder(T;x,y.R[x; y]),
set_car: |p|,
set_leq: a ≤ b
Latex:
QOSet == \{s:DSet| UniformPreorder(|s|;a,b.a \mleq{} b)\}
Date html generated:
2016_05_15-PM-00_04_28
Last ObjectModification:
2015_09_23-AM-06_24_04
Theory : sets_1
Home
Index