Nuprl Definition : lattice-fset-join
\/(s) == reduce(λx,y. x ∨ y;0;s)
Definitions occuring in Statement :
lattice-0: 0,
lattice-join: a ∨ b,
reduce: reduce(f;k;as),
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
lattice-join: a ∨ b,
lattice-0: 0
FDL editor aliases :
lattice-fset-join
Latex:
\mbackslash{}/(s) == reduce(\mlambda{}x,y. x \mvee{} y;0;s)
Date html generated:
2020_05_20-AM-08_43_32
Last ObjectModification:
2015_10_06-PM-01_44_31
Theory : lattices
Home
Index