Nuprl Definition : bdd-lattice
BoundedLattice == {l:BoundedLatticeStructure| lattice-axioms(l) ∧ bounded-lattice-axioms(l)}
Definitions occuring in Statement :
bounded-lattice-axioms: bounded-lattice-axioms(l),
bounded-lattice-structure: BoundedLatticeStructure,
lattice-axioms: lattice-axioms(l),
and: P ∧ Q,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
bounded-lattice-structure: BoundedLatticeStructure,
and: P ∧ Q,
lattice-axioms: lattice-axioms(l),
bounded-lattice-axioms: bounded-lattice-axioms(l)
FDL editor aliases :
bdd-lattice
Latex:
BoundedLattice == \{l:BoundedLatticeStructure| lattice-axioms(l) \mwedge{} bounded-lattice-axioms(l)\}
Date html generated:
2020_05_20-AM-08_24_15
Last ObjectModification:
2015_10_06-PM-01_45_39
Theory : lattices
Home
Index