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