Nuprl Definition : q-rel-lub
q-rel-lub(r1;r2) == if (r1 =z 0) then r2 if (r2 =z 0) then r1 if (r1 =z 1) ∧b (r2 =z 1) then 1 else 2 fi
Definitions occuring in Statement :
band: p ∧b q,
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
natural_number: $n
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
band: p ∧b q,
eq_int: (i =z j),
natural_number: $n
FDL editor aliases :
q-rel-lub
Latex:
q-rel-lub(r1;r2) ==
if (r1 =\msubz{} 0) then r2
if (r2 =\msubz{} 0) then r1
if (r1 =\msubz{} 1) \mwedge{}\msubb{} (r2 =\msubz{} 1) then 1
else 2
fi
Date html generated:
2016_05_15-PM-11_18_07
Last ObjectModification:
2015_09_23-AM-08_28_20
Theory : rationals
Home
Index