Nuprl Definition : mk-bounded-distributive-lattice
{points=T;meet=m;join=j;0=z;1=o} == mk-bounded-lattice(T;m;j;z;o)
Definitions occuring in Statement :
mk-bounded-lattice: mk-bounded-lattice(T;m;j;z;o)
Definitions occuring in definition :
mk-bounded-lattice: mk-bounded-lattice(T;m;j;z;o)
FDL editor aliases :
mk-bounded-distributive-lattice
Latex:
\{points=T;meet=m;join=j;0=z;1=o\} == mk-bounded-lattice(T;m;j;z;o)
Date html generated:
2020_05_20-AM-08_25_11
Last ObjectModification:
2015_10_06-PM-01_45_24
Theory : lattices
Home
Index