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