Nuprl Definition : free-DeMorgan-lattice
free-DeMorgan-lattice(T;eq) == free-dist-lattice(T + T; union-deq(T;T;eq;eq))
Definitions occuring in Statement :
free-dist-lattice: free-dist-lattice(T; eq),
union-deq: union-deq(A;B;a;b),
union: left + right
Definitions occuring in definition :
free-dist-lattice: free-dist-lattice(T; eq),
union: left + right,
union-deq: union-deq(A;B;a;b)
FDL editor aliases :
free-DeMorgan-lattice
Latex:
free-DeMorgan-lattice(T;eq) == free-dist-lattice(T + T; union-deq(T;T;eq;eq))
Date html generated:
2020_05_20-AM-08_53_38
Last ObjectModification:
2015_10_09-PM-08_30_49
Theory : lattices
Home
Index