Nuprl Definition : dset
DSet == {s:PosetSig| IsEqFun(|s|;=b)}
Definitions occuring in Statement :
set_eq: =b,
set_car: |p|,
poset_sig: PosetSig,
eqfun_p: IsEqFun(T;eq),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
poset_sig: PosetSig,
eqfun_p: IsEqFun(T;eq),
set_car: |p|,
set_eq: =b
Latex:
DSet == \{s:PosetSig| IsEqFun(|s|;=\msubb{})\}
Date html generated:
2016_05_15-PM-00_03_58
Last ObjectModification:
2015_09_23-AM-06_24_01
Theory : sets_1
Home
Index