Nuprl Definition : f-lattice
f-lattice(X) == free-dl(X + X)//x,y.flattice-equiv(X;x;y)
Definitions occuring in Statement :
flattice-equiv: flattice-equiv(X;x;y),
quotient-dl: l//x,y.eq[x; y],
free-dl: free-dl(X),
union: left + right
Definitions occuring in definition :
quotient-dl: l//x,y.eq[x; y],
free-dl: free-dl(X),
union: left + right,
flattice-equiv: flattice-equiv(X;x;y)
FDL editor aliases :
f-lattice
Latex:
f-lattice(X) == free-dl(X + X)//x,y.flattice-equiv(X;x;y)
Date html generated:
2020_05_20-AM-08_59_53
Last ObjectModification:
2017_01_24-AM-11_02_41
Theory : lattices
Home
Index