Nuprl Definition : extd-nameset
extd-nameset(L) == nameset(L) ⋃ ℕ2
Definitions occuring in Statement :
nameset: nameset(L),
int_seg: {i..j-},
b-union: A ⋃ B,
natural_number: $n
Definitions occuring in definition :
b-union: A ⋃ B,
nameset: nameset(L),
int_seg: {i..j-},
natural_number: $n
FDL editor aliases :
extd-nameset
Latex:
extd-nameset(L) == nameset(L) \mcup{} \mBbbN{}2
Date html generated:
2016_05_20-AM-09_28_55
Last ObjectModification:
2015_09_23-AM-09_29_26
Theory : cubical!sets
Home
Index