Nuprl Definition : sets

sets(C; X) ==  el(X)


Definitions occuring in Statement :  presheaf-elements: el(P)
Definitions occuring in definition :  presheaf-elements: el(P)
FDL editor aliases :  sets
Latex:
sets(C;  X)  ==    el(X)


Date html generated: 2018_05_22-PM-09_59_05
Last ObjectModification: 2018_02_19-PM-06_13_11

Theory : presheaf!models!of!type!theory


Home Index