Nuprl Definition : ftype
FTy{s}(a) == {x:|s|| ↑(x ∈b a)}
Definitions occuring in Statement :
mset_mem: mset_mem,
assert: ↑b,
set: {x:A| B[x]} ,
set_car: |p|
Definitions occuring in definition :
set: {x:A| B[x]} ,
set_car: |p|,
assert: ↑b,
mset_mem: mset_mem
Latex:
FTy\{s\}(a) == \{x:|s|| \muparrow{}(x \mmember{}\msubb{} a)\}
Date html generated:
2016_05_16-AM-07_47_18
Last ObjectModification:
2015_09_23-AM-09_52_04
Theory : mset
Home
Index