Nuprl Definition : mem-mk-set

mem-mk-set(f;t) ==  <t, seteqweaken(f t) Ax>


Definitions occuring in Statement :  seteqweaken: seteqweaken(s2),  apply: f a,  pair: <a, b>,  axiom: Ax
Definitions occuring in definition :  axiom: Ax,  apply: f a,  seteqweaken: seteqweaken(s2),  pair: <a, b>
FDL editor aliases :  mem-mk-set
Latex:
mem-mk-set(f;t)  ==    <t,  seteqweaken(f  t)  Ax>


Date html generated: 2018_07_29-AM-10_08_21
Last ObjectModification: 2018_07_11-PM-03_27_11

Theory : constructive!set!theory


Home Index