Nuprl Definition : deq-fset

deq-fset(eq) == λx,y. isl(TERMOF{decidable__equal_fset:o, 1:l, 1:l} eq x y)

Definitions occuring in Statement : isl: isl(x), apply: f a, lambda: λx.A[x]
Definitions occuring in definition : lambda: λx.A[x], isl: isl(x), apply: f a, decidable__equal_fset
TermOfs occuring in Definition : decidable__equal_fset
FDL editor aliases : deq-fset

Latex:
deq-fset(eq) == \mlambda{}x,y. isl(TERMOF\{decidable\_\_equal\_fset:o, 1:l, 1:l\} eq x y) Date html generated: 2016_05_14-PM-03_41_43 Last ObjectModification: 2016_01_05-PM-00_16_13 Theory : finite!sets Home Index