Nuprl Definition : rel_or
R1 ∨ R2 == λx,y. ((x R1 y) ∨ (x R2 y))
Definitions occuring in Statement :
infix_ap: x f y,
or: P ∨ Q,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
or: P ∨ Q,
infix_ap: x f y
FDL editor aliases :
rel_or
Latex:
R1 \mvee{} R2 == \mlambda{}x,y. ((x R1 y) \mvee{} (x R2 y))
Date html generated:
2016_05_14-AM-06_04_25
Last ObjectModification:
2015_09_22-PM-05_46_47
Theory : relations
Home
Index