Nuprl Definition : pairset
{a,b} == <𝔹, λx.if x then a else b fi >
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
bool: 𝔹,
lambda: λx.A[x],
pair: <a, b>
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
lambda: λx.A[x],
bool: 𝔹,
pair: <a, b>
FDL editor aliases :
pairset
Latex:
\{a,b\} == <\mBbbB{}, \mlambda{}x.if x then a else b fi >
Date html generated:
2018_07_29-AM-09_59_27
Last ObjectModification:
2018_07_18-AM-11_03_24
Theory : constructive!set!theory
Home
Index