Nuprl Definition : transmem
(x ∈∈ y) == x TC(λx,y. (x ∈ y)) y
Definitions occuring in Statement :
setmem: (x ∈ s),
coSet: coSet{i:l},
transitive-closure: TC(R),
infix_ap: x f y,
lambda: λx.A[x]
Definitions occuring in definition :
setmem: (x ∈ s),
lambda: λx.A[x],
coSet: coSet{i:l},
transitive-closure: TC(R),
infix_ap: x f y
FDL editor aliases :
transmem
Latex:
(x \mmember{}\mmember{} y) == x TC(\mlambda{}x,y. (x \mmember{} y)) y
Date html generated:
2018_07_29-AM-10_03_18
Last ObjectModification:
2018_07_18-PM-11_36_02
Theory : constructive!set!theory
Home
Index