Nuprl Definition : atom_dset
atom_dset() == mk_dset(Atom, λx,y. x =a y)
Definitions occuring in Statement :
mk_dset: mk_dset(T, eq),
eq_atom: x =a y,
lambda: λx.A[x],
atom: Atom
Definitions occuring in definition :
mk_dset: mk_dset(T, eq),
atom: Atom,
lambda: λx.A[x],
eq_atom: x =a y
Latex:
atom\_dset() == mk\_dset(Atom, \mlambda{}x,y. x =a y)
Date html generated:
2016_05_15-PM-00_06_02
Last ObjectModification:
2015_09_23-AM-06_24_11
Theory : sets_1
Home
Index