Nuprl Definition : is-dml-1
is-dml-1(T;eq;x) == free-dml-deq(T;eq) x 1
Definitions occuring in Statement :
free-dml-deq: free-dml-deq(T;eq),
free-DeMorgan-lattice: free-DeMorgan-lattice(T;eq),
lattice-1: 1,
apply: f a
Definitions occuring in definition :
apply: f a,
free-dml-deq: free-dml-deq(T;eq),
lattice-1: 1,
free-DeMorgan-lattice: free-DeMorgan-lattice(T;eq)
FDL editor aliases :
is-dml-1
Latex:
is-dml-1(T;eq;x) == free-dml-deq(T;eq) x 1
Date html generated:
2016_05_18-AM-11_44_13
Last ObjectModification:
2015_11_07-PM-01_35_37
Theory : lattices
Home
Index