Nuprl Definition : set-part
set-part(s) == {x ∈ s | isSet(x)}
Definitions occuring in Statement :
sub-set: {a ∈ s | P[a]},
isSet: isSet(w)
Definitions occuring in definition :
isSet: isSet(w),
sub-set: {a ∈ s | P[a]}
FDL editor aliases :
set-part
Latex:
set-part(s) == \{x \mmember{} s | isSet(x)\}
Date html generated:
2018_07_29-AM-09_52_36
Last ObjectModification:
2018_07_24-PM-00_06_33
Theory : constructive!set!theory
Home
Index