Nuprl Definition : nameset
nameset(L) == {a:Cname| (a ∈ L)}
Definitions occuring in Statement :
coordinate_name: Cname,
l_member: (x ∈ l),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
l_member: (x ∈ l),
coordinate_name: Cname
FDL editor aliases :
nameset
Latex:
nameset(L) == \{a:Cname| (a \mmember{} L)\}
Date html generated:
2016_05_20-AM-09_28_05
Last ObjectModification:
2015_09_23-AM-09_29_24
Theory : cubical!sets
Home
Index