Nuprl Definition : lattice-fset-meet
/\(s) == reduce(λx,y. x ∧ y;1;s)
Definitions occuring in Statement :
lattice-1: 1,
lattice-meet: 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-meet: a ∧ b,
lattice-1: 1
FDL editor aliases :
lattice-fset-meet
Latex:
/\mbackslash{}(s) == reduce(\mlambda{}x,y. x \mwedge{} y;1;s)
Date html generated:
2016_05_18-AM-11_23_41
Last ObjectModification:
2015_10_06-PM-01_44_35
Theory : lattices
Home
Index