Nuprl Definition : deq-f-subset

deq-f-subset(eq) ==  λx,y. isl(TERMOF{decidable__f-subset: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__f-subset
TermOfs occuring in Definition :  decidable__f-subset
FDL editor aliases :  deq-f-subset
Latex:
deq-f-subset(eq)  ==    \mlambda{}x,y.  isl(TERMOF\{decidable\_\_f-subset:o,  1:l,  1:l\}  eq  x  y)


Date html generated: 2016_05_14-PM-03_41_31
Last ObjectModification: 2016_01_05-PM-00_16_19

Theory : finite!sets


Home Index