Nuprl Definition : mk-set
f"(T) ==  Wsup(T;f)
Definitions occuring in Statement : 
Wsup: Wsup(a;b)
Definitions occuring in definition : 
Wsup: Wsup(a;b)
FDL editor aliases : 
mk-set
Latex:
f"(T)  ==    Wsup(T;f)
Date html generated:
2018_05_22-PM-09_47_41
Last ObjectModification:
2018_05_16-PM-01_31_11
Theory : constructive!set!theory
Home
Index