Nuprl Definition : pv8_p1_in

Nuprl Definition : pv8_p1_in_domain

pv8_p1_in_domain(Cid;Op) ==

deq,x,xys.deq-member(deq;x;map(

x.(fst(x));xys))

Definitions occuring in Statement : map: map(f;as), pi1: fst(t), lambda:

x.A[x], deq-member: deq-member(eq;x;L)
FDL editor aliases : pv8_p1_in_domain pv8_p1_in_domain

pv8\_p1\_in\_domain(Cid;Op) == \mlambda{}deq,x,xys.deq-member(deq;x;map(\mlambda{}x.(fst(x));xys)) Date html generated: 2012_02_20-PM-07_15_09 Last ObjectModification: 2012_02_06-PM-01_37_23 Home Index